Pemenang untuk rangkaian pertama Justin Sun Prize telah dikonfirmasi secara resmi👏
Selamat kepada Wouter van Doorn, Yanyang Li, dan Quanyu Tang karena berhasil menyelesaikan tantangan dari katalog Erdős. Ini merupakan tonggak penting lainnya dari proyek dengan gagasan yang cukup jelas: memberikan penghargaan kepada karya matematika yang benar-benar dapat dibuktikan, diverifikasi, dan dikonfirmasi.
Hal menarik dari Justin Sun Prize adalah proyek ini tidak terlalu menitikberatkan pada reputasi, universitas, atau status para peserta. Sebaliknya, proyek ini menggunakan Problem List yang bersifat terbuka dan menekankan pada hasil yang dapat diverifikasi, dengan melibatkan baik orang yang menyelesaikan masalah matematika maupun mereka yang membantu mengubah jawaban-jawaban tersebut menjadi Lean Proof yang dapat diverifikasi oleh mesin.
Saat ini, Problem Bank proyek memiliki lebih dari 1.000 soal, lengkap dengan informasi publik mengenai Candidate, Verification Evidence, dan Award yang telah terkonfirmasi.
#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
Selamat kepada Wouter van Doorn, Yanyang Li, dan Quanyu Tang karena berhasil menyelesaikan tantangan dari katalog Erdős. Ini merupakan tonggak penting lainnya dari proyek dengan gagasan yang cukup jelas: memberikan penghargaan kepada karya matematika yang benar-benar dapat dibuktikan, diverifikasi, dan dikonfirmasi.
Hal menarik dari Justin Sun Prize adalah proyek ini tidak terlalu menitikberatkan pada reputasi, universitas, atau status para peserta. Sebaliknya, proyek ini menggunakan Problem List yang bersifat terbuka dan menekankan pada hasil yang dapat diverifikasi, dengan melibatkan baik orang yang menyelesaikan masalah matematika maupun mereka yang membantu mengubah jawaban-jawaban tersebut menjadi Lean Proof yang dapat diverifikasi oleh mesin.
Saat ini, Problem Bank proyek memiliki lebih dari 1.000 soal, lengkap dengan informasi publik mengenai Candidate, Verification Evidence, dan Award yang telah terkonfirmasi.
#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
