Justin Sun Bayar Rp16 Miliar untuk Bukti Matematika, OpenAI Menang Putaran Pertama

Justin Sun baru saja membayar satu juta dolar AS untuk sebuah bukti matematika, dan uangnya sudah pindah. Pemenang putaran perdana hadiah bernama Justin Sun Prize itu adalah tim riset OpenAI, yang memecahkan soal Existence and Smoothness of the Three-Dimensional Navier–Stokes Equations — salah satu soal Millennium Prize dari Clay Mathematics Institute yang sudah menganggur selama kira-kira 150 tahun. Di putaran pertama ini, total 66 soal matematika berhasil diselesaikan.

Persamaan Navier–Stokes ini menggambarkan cara fluida bergerak: turbulensi, sistem cuaca, sampai aliran darah. Versi tiga dimensinya sudah membuat para matematikawan pusing sejak abad ke-19, dan sampai kemarin belum ada yang punya bukti yang bersih dan bisa diverifikasi. Sekarang bukti itu ada. Menariknya, OpenAI memakai model internalnya, sementara proses formalisasi dan verifikasi lewat bahasa pembuktian bernama Lean dikerjakan oleh GPT-6 Astra.

Di situlah letak gagasan utama hadiah ini. Sun tidak menganggap bukti buatan mesin sebagai celah yang harus ditutup — justru itu inti desainnya. Hadiah ini secara terbuka mengakui bukti formal yang bisa diverifikasi mesin, titik, tanpa menarik garis tegas antara intuisi manusia dan komputasi kecerdasan buatan. Untuk sebuah penghargaan sains berskala besar, ini posisi yang benar-benar baru. Kalau banyak lembaga lama masih berdebat soal cara memperlakukan riset yang dibantu AI, Sun memilih membangun jawabannya langsung ke dalam aturan main.

## Kenapa cara bayarnya jadi bagian dari beritanya

Aturannya sengaja dibuat berbeda dari dunia akademik biasa. Tidak ada siklus nominasi, tidak ada komite penghargaan seumur hidup, tidak ada penjaga gerbang institusi. Kalau kamu menyelesaikan soal yang ada di daftar dan buktinya lolos verifikasi mesin, kamu dibayar. Kewarganegaraan tidak dipersoalkan, gelar tidak dipersoalkan — mau profesor tetap atau model AI di sebuah lab riset, sama saja. Daftar soalnya publik, dikelola di GitHub, dan terbuka untuk masukan komunitas, termasuk soal-soal usulan matematikawan ternama seperti Paul Erdős. Sekali sebuah soal masuk daftar, ia tidak bisa dicabut, dan dana hadiahnya bersifat tak bisa ditarik kembali — supaya tidak ada yang diam-diam menghapus soal hanya karena dianggap terlalu sulit atau merepotkan.

Pembayaran dikirim dalam bentuk stablecoin, USDT di jaringan TRON atau USDC di Ethereum, sesuai pilihan pemenang. Setiap catatan pencairan tersimpan on-chain dan bisa dilihat siapa pun secara permanen. Buat yang datang dari dunia akademik tradisional, kombinasi ini terasa ganjil. Tapi dari sudut pandang kripto, logikanya nyambung: bukan sekadar siaran pers yang bilang uang sudah diberikan, melainkan jejak yang bisa ditelusuri langsung — tidak ada kesepakatan di balik meja, tidak ada pembayaran yang tertunda, tidak ada keraguan soal apakah uangnya benar-benar berpindah. Pemenang juga menerima sertifikat dan medali berinskripsi Latin "Quod probatur, solvitur" — "dibuktikan, lalu dibayar".

## Siapa di balik uang ini

Sun adalah pendiri TRON, jaringan yang menurut klaimnya sudah memproses lebih dari 13 triliun dolar AS transaksi dengan pemakaian stablecoin yang sangat besar di pasar-pasar berkembang. Ia menyebut sudah menyumbang lebih dari 45 juta dolar AS untuk berbagai tujuan dan ingin memusatkan energi filantropinya pada hadiah ini ke depan. Daftar soalnya juga memuat tantangan terberat seperti Poincaré Conjecture dan Riemann Hypothesis, jadi ini jelas bukan soal pemanasan.

Sun menyebut ambisinya menjadikan hadiah ini semacam "Nobel di Era AI". Itu klaim besar: Nobel punya bobot institusi seabad lamanya, sementara Justin Sun Prize baru menyelesaikan satu putaran. Seberapa jauh gagasan ini bertahan akan terlihat dari apakah putaran-putaran berikutnya benar-benar berjalan, apakah soal-soal seberat Riemann ikut tumbang, dan apakah model bayar-lewat-blockchain tetap dianggap kredibel oleh dunia sains — bukan dari satu pengumuman hari ini. Yang pasti tercatat sekarang hanyalah: satu soal berumur 150 tahun diklaim selesai, dan satu juta dolar sudah berpindah.