Memperkenalkan #JustinSunPrize , program hadiah akademik baru yang memberi penghargaan atas terobosan dalam matematika.
Kontributor dapat menyelesaikan masalah yang memenuhi syarat, memformalkan hasil mereka di Lean, dan mengirimkan bukti yang dapat diverifikasi oleh mesin melalui repositori GitHub sumber terbuka dari Hadiah tersebut.
Dengan lima tingkat penghargaan dan hadiah utama sebesar $1 juta, program ini terbuka bagi kontributor yang memenuhi syarat di seluruh dunia.
Selesaikan. Verifikasi. Klaim.
Pelajari lebih lanjut:
https://hejustinsun.com/prize
https://x.com/JustinSunPrize/status/2100319343670354387
Kontributor dapat menyelesaikan masalah yang memenuhi syarat, memformalkan hasil mereka di Lean, dan mengirimkan bukti yang dapat diverifikasi oleh mesin melalui repositori GitHub sumber terbuka dari Hadiah tersebut.
Dengan lima tingkat penghargaan dan hadiah utama sebesar $1 juta, program ini terbuka bagi kontributor yang memenuhi syarat di seluruh dunia.
Selesaikan. Verifikasi. Klaim.
Pelajari lebih lanjut:
https://hejustinsun.com/prize
https://x.com/JustinSunPrize/status/2100319343670354387
