Menyebutkan penghargaan besar dalam Matematika, mungkin banyak orang langsung teringat Fields Medal, yang sering diibaratkan sebagai “Nobel untuk Matematika”.
Namun pada saat ini, ketika AI semakin terlibat dalam penalaran, pembuktian, dan pemecahan soal-soal sulit, cara memberikan penghargaan atas solusi matematis mungkin juga mulai berubah.
Baru-baru ini, @justinsuntron mengumumkan Justin Sun Prize.
Dengar namanya mirip sebuah penghargaan tradisional, tetapi cara pengoperasiannya cukup mirip seperti “treo bounty” dalam kripto.
Kalau dipahami dengan sederhana seperti ini:
Sebuah soal sulit dipublikasikan
→ Justin Sun menetapkan nilai hadiah
→ siapa pun bisa ikut mencari solusi, bahkan AI pun boleh
→ jika solusi tersebut diakui oleh komunitas matematika, solusi itu akan terus dialihkan menjadi bentuk yang bisa diverifikasi oleh komputer.
Baru ketika seluruh pembuktian telah disahkan oleh mesin sebagai benar, hadiah tersebut resmi dibuka.
Hal yang menurut saya cukup menarik adalah penghargaan ini dibagi menjadi 2 bagian yang sangat jelas.
Seseorang menemukan solusi.
Orang lain dapat bertugas “formalize”, yaitu mengubah solusi tersebut menjadi bentuk yang bisa dibaca dan diperiksa oleh komputer.
Tentu saja seseorang juga bisa mengerjakan keduanya sekaligus.
Dan juga tidak ada aturan bahwa penemu solusinya harus manusia. Justin Sun secara terang-terangan mengatakan bahwa entah itu manusia, AI, atau keduanya bekerja sama, itu tidak terlalu penting—yang penting pada akhirnya pembuktiannya benar.
Inilah juga poin yang membuatnya berbeda cukup banyak dibandingkan dengan penghargaan Matematika tradisional.
Fields Medal baru diberikan setiap 4 tahun sekali, dan memiliki batas usia. Sedangkan dengan model ini, setiap soal hampir menjadi bounty tersendiri.
Namun pada saat ini, ketika AI semakin terlibat dalam penalaran, pembuktian, dan pemecahan soal-soal sulit, cara memberikan penghargaan atas solusi matematis mungkin juga mulai berubah.
Baru-baru ini, @justinsuntron mengumumkan Justin Sun Prize.
Dengar namanya mirip sebuah penghargaan tradisional, tetapi cara pengoperasiannya cukup mirip seperti “treo bounty” dalam kripto.
Kalau dipahami dengan sederhana seperti ini:
Sebuah soal sulit dipublikasikan
→ Justin Sun menetapkan nilai hadiah
→ siapa pun bisa ikut mencari solusi, bahkan AI pun boleh
→ jika solusi tersebut diakui oleh komunitas matematika, solusi itu akan terus dialihkan menjadi bentuk yang bisa diverifikasi oleh komputer.
Baru ketika seluruh pembuktian telah disahkan oleh mesin sebagai benar, hadiah tersebut resmi dibuka.
Hal yang menurut saya cukup menarik adalah penghargaan ini dibagi menjadi 2 bagian yang sangat jelas.
Seseorang menemukan solusi.
Orang lain dapat bertugas “formalize”, yaitu mengubah solusi tersebut menjadi bentuk yang bisa dibaca dan diperiksa oleh komputer.
Tentu saja seseorang juga bisa mengerjakan keduanya sekaligus.
Dan juga tidak ada aturan bahwa penemu solusinya harus manusia. Justin Sun secara terang-terangan mengatakan bahwa entah itu manusia, AI, atau keduanya bekerja sama, itu tidak terlalu penting—yang penting pada akhirnya pembuktiannya benar.
Inilah juga poin yang membuatnya berbeda cukup banyak dibandingkan dengan penghargaan Matematika tradisional.
Fields Medal baru diberikan setiap 4 tahun sekali, dan memiliki batas usia. Sedangkan dengan model ini, setiap soal hampir menjadi bounty tersendiri.
