🏆 Penghargaan Justin Sun membuka cakrawala baru bagi para pengembang perangkat lunak dan peneliti!
Memecahkan masalah adalah langkah penting, tetapi membuktikan kebenaran solusi tidak kalah pentingnya. Dari sinilah, program The Justin Sun Prize menyoroti dua peran utama dalam dunia pemrograman dan verifikasi matematika, melalui mekanisme hadiah yang memadukan inovasi dan ketepatan.
🔍 Bagaimana hadiah dibagikan?
Program ini didasarkan pada pembagian hadiah menjadi dua tugas utama:
🔹 70% untuk problem solver:
Diberikan kepada siapa pun yang berhasil menemukan solusi untuk masalah yang diajukan, baik individu maupun tim, sebagai apresiasi atas upaya dalam mengembangkan solusi dan mencapai hasil yang diinginkan.
🔹 30% untuk Lean Formalizer:
Diperuntukkan bagi mereka yang bertugas mengubah solusi menjadi bentuk matematika formal menggunakan bahasa Lean, yaitu alat khusus yang membantu memverifikasi kebenaran bukti matematika secara akurat, serta dapat diperiksa.
💡 Bagian yang paling menarik?
Jika orang yang sama atau tim yang sama mampu menyelesaikan kedua tugas tersebut, mereka dapat memperoleh 100% nilai hadiah—sesuai dengan ketentuan dan aturan yang ditetapkan oleh program.
🔗 Untuk melihat detail dan syarat:
hejustinsun.com/prize/rules
#JustinSunPrize #JustinSun
#Tron #TRX #TRONGlobalFriends #TGF @TRON DAO @Justin Sun孙宇晨
Memecahkan masalah adalah langkah penting, tetapi membuktikan kebenaran solusi tidak kalah pentingnya. Dari sinilah, program The Justin Sun Prize menyoroti dua peran utama dalam dunia pemrograman dan verifikasi matematika, melalui mekanisme hadiah yang memadukan inovasi dan ketepatan.
🔍 Bagaimana hadiah dibagikan?
Program ini didasarkan pada pembagian hadiah menjadi dua tugas utama:
🔹 70% untuk problem solver:
Diberikan kepada siapa pun yang berhasil menemukan solusi untuk masalah yang diajukan, baik individu maupun tim, sebagai apresiasi atas upaya dalam mengembangkan solusi dan mencapai hasil yang diinginkan.
🔹 30% untuk Lean Formalizer:
Diperuntukkan bagi mereka yang bertugas mengubah solusi menjadi bentuk matematika formal menggunakan bahasa Lean, yaitu alat khusus yang membantu memverifikasi kebenaran bukti matematika secara akurat, serta dapat diperiksa.
💡 Bagian yang paling menarik?
Jika orang yang sama atau tim yang sama mampu menyelesaikan kedua tugas tersebut, mereka dapat memperoleh 100% nilai hadiah—sesuai dengan ketentuan dan aturan yang ditetapkan oleh program.
🔗 Untuk melihat detail dan syarat:
hejustinsun.com/prize/rules
#JustinSunPrize #JustinSun
#Tron #TRX #TRONGlobalFriends #TGF @TRON DAO @Justin Sun孙宇晨
