🧮🤖 “Justin Sun Prize” itu apa yang hebat?@Justin Sun孙宇晨
Kali ini, saya merangkum poin yang menurut saya paling menarik setelah membaca aturan resmi👇
💰 Total hadiah dibagi menjadi 5 tingkatan
🏆 Pinnacle: 1 juta dolar (tetap)
🔥 Breakthrough
🔹 Landmark
🚀 Advance
🌱 Contribution
Tier II hingga V, jumlah hadiah ditentukan berdasarkan isi masalah dan penilaian.
Selain itu, hadiah tidak diberikan sekaligus “totalnya” kepada satu orang,
🧠 Pihak yang menyelesaikan soal matematika → 70%
🤖 Pihak yang memverifikasi secara formal dengan Lean → 30%
Jadi pembagiannya seperti itu.
Yang menarik adalah, di bagian awal penilaian mereka menempatkan verifikasi berbasis Lean.
Bukan hanya manusia yang memutuskan “bukti ini benar”,
komputer juga memverifikasinya dengan format yang bisa direproduksi.
Dan sasarannya bukan cuma peneliti profesional—peneliti independen dan juga tim yang terdiri dari manusia×AI turut termasuk. Berdasarkan aturan, desainnya tidak membedakan hasil manusia dan AI.
🌱 Manfaat yang lahir dari sini
・Pengembalian dana untuk riset matematika
・Digitalisasi bukti dan peningkatan kemampuan untuk diverifikasi ulang
・Mendorong riset matematika dengan pemanfaatan AI
・Membuka hasil riset dan materi verifikasinya
・Insentif tidak hanya untuk “orang yang menyelesaikan masalah”, tetapi juga untuk “orang yang memformalkan bukti”
Ciri khasnya bukan berhenti di “memberi hadiah lalu selesai”,
melainkan berupaya membangun siklus:
“menyelesaikan → memformalkan → memverifikasi → meninggalkannya sebagai pengetahuan”.
Secara pribadi, hal yang menurut saya paling menarik adalah mereka mengintegrasikan AI bukan hanya sebagai pengganti manusia, tetapi sebagai sesuatu yang mendukung penemuan, pembuktian, dan verifikasi dalam matematika.
Ke depan, saat AI makin terlibat dalam riset matematika,
fokusnya bukan memberi penghargaan pada “jawaban dari AI”,
tetapi pada bukti yang bisa diverifikasi oleh mesin.
Apakah mekanisme ini akan menjadi insentif baru di era riset yang dikerjakan bersama oleh AI dan manusia—ke depannya menarik dan seru!
#TGF @TRON DAO #TRONGlobalFriends
Kali ini, saya merangkum poin yang menurut saya paling menarik setelah membaca aturan resmi👇
💰 Total hadiah dibagi menjadi 5 tingkatan
🏆 Pinnacle: 1 juta dolar (tetap)
🔥 Breakthrough
🔹 Landmark
🚀 Advance
🌱 Contribution
Tier II hingga V, jumlah hadiah ditentukan berdasarkan isi masalah dan penilaian.
Selain itu, hadiah tidak diberikan sekaligus “totalnya” kepada satu orang,
🧠 Pihak yang menyelesaikan soal matematika → 70%
🤖 Pihak yang memverifikasi secara formal dengan Lean → 30%
Jadi pembagiannya seperti itu.
Yang menarik adalah, di bagian awal penilaian mereka menempatkan verifikasi berbasis Lean.
Bukan hanya manusia yang memutuskan “bukti ini benar”,
komputer juga memverifikasinya dengan format yang bisa direproduksi.
Dan sasarannya bukan cuma peneliti profesional—peneliti independen dan juga tim yang terdiri dari manusia×AI turut termasuk. Berdasarkan aturan, desainnya tidak membedakan hasil manusia dan AI.
🌱 Manfaat yang lahir dari sini
・Pengembalian dana untuk riset matematika
・Digitalisasi bukti dan peningkatan kemampuan untuk diverifikasi ulang
・Mendorong riset matematika dengan pemanfaatan AI
・Membuka hasil riset dan materi verifikasinya
・Insentif tidak hanya untuk “orang yang menyelesaikan masalah”, tetapi juga untuk “orang yang memformalkan bukti”
Ciri khasnya bukan berhenti di “memberi hadiah lalu selesai”,
melainkan berupaya membangun siklus:
“menyelesaikan → memformalkan → memverifikasi → meninggalkannya sebagai pengetahuan”.
Secara pribadi, hal yang menurut saya paling menarik adalah mereka mengintegrasikan AI bukan hanya sebagai pengganti manusia, tetapi sebagai sesuatu yang mendukung penemuan, pembuktian, dan verifikasi dalam matematika.
Ke depan, saat AI makin terlibat dalam riset matematika,
fokusnya bukan memberi penghargaan pada “jawaban dari AI”,
tetapi pada bukti yang bisa diverifikasi oleh mesin.
Apakah mekanisme ini akan menjadi insentif baru di era riset yang dikerjakan bersama oleh AI dan manusia—ke depannya menarik dan seru!
#TGF @TRON DAO #TRONGlobalFriends
