Terobosan untuk dunia matematika: “Justin Sun Prize” telah diluncurkan! 🧮✨
“Dibuktikan, lalu dibayar.”
Tidak ada dukungan akademis atau batasan usia. Kolaborasi AI juga dipersilakan, dan hadiah dibayarkan segera setelah verifikasi mesin.
💡 Poin Utama:
1️⃣ Pembagian Hadiah 70:30 (Prover : Formalizer)
2️⃣ Transparansi On-Chain via TRON
3️⃣ 66 soal sudah tersedia saat ini (dari ~1.022)
Mengapa ini penting 🧵👇
Secara historis, memformalkan bukti (misalnya di Lean) menjadi hal yang krusial, tetapi sering kali pekerjaan di balik layar tersebut tidak dibayar. Dengan memastikan hadiah 30% untuk Formalizer, penghargaan ini memberikan nilai ekonomi nyata kepada para pahlawan yang kurang disorot.
Ini adalah mekanisme yang brilian dengan insentif Web3 untuk mempercepat komunitas matematika dan riset akademik！
@Justin Sun孙宇晨 @TRON DAO
#TRONGlobalFriends #TGF
“Dibuktikan, lalu dibayar.”
Tidak ada dukungan akademis atau batasan usia. Kolaborasi AI juga dipersilakan, dan hadiah dibayarkan segera setelah verifikasi mesin.
💡 Poin Utama:
1️⃣ Pembagian Hadiah 70:30 (Prover : Formalizer)
2️⃣ Transparansi On-Chain via TRON
3️⃣ 66 soal sudah tersedia saat ini (dari ~1.022)
Mengapa ini penting 🧵👇
Secara historis, memformalkan bukti (misalnya di Lean) menjadi hal yang krusial, tetapi sering kali pekerjaan di balik layar tersebut tidak dibayar. Dengan memastikan hadiah 30% untuk Formalizer, penghargaan ini memberikan nilai ekonomi nyata kepada para pahlawan yang kurang disorot.
Ini adalah mekanisme yang brilian dengan insentif Web3 untuk mempercepat komunitas matematika dan riset akademik！
@Justin Sun孙宇晨 @TRON DAO
#TRONGlobalFriends #TGF
