OpenAI tercatat sebagai pemenang hadiah matematika perdana senilai US$1 juta dari Justin Sun berkat bukti Navier–Stokes yang diklaimnya. Namun, hadiah itu hingga kini belum juga diklaim, setelah sebelumnya OpenAI juga memilih tidak mengejar hadiah dari Clay Mathematics Institute.
Poin Penting
- Repositori hadiah Sun menandai entri Navier–Stokes OpenAI sebagai “terselesaikan”, memenuhi syarat klaim, namun masih belum diambil.
- OpenAI menyebut 10.000 agen AI bekerja sekitar 88 jam sebelum GPT-6 Astra menghabiskan 17 jam tambahan untuk memformalkan dan memeriksa bukti tersebut.
- Clay Mathematics Institute masih mencantumkan masalah Navier–Stokes sebagai “aktif” sambil meninjau hasil yang sudah diumumkan.
Hadiah OpenAI
Hadiah baru Sun menetapkan tim riset OpenAI sebagai penerima penghargaan utama perdana senilai US$1 juta untuk pemecahan masalah Navier–Stokes tiga dimensi. Rekam jejak publik di GitHub menandai persoalan ini sebagai sudah terselesaikan dan memenuhi syarat untuk diklaim. Namun, dana hadiah tersebut belum disentuh.
OpenAI memublikasikan hasilnya pada 8 September, menjelaskan bahwa sekitar 10.000 agen bekerja selama kurang lebih 88 jam sebelum GPT-6 Astra menghabiskan 17 jam tambahan untuk memformalkan dan memverifikasi bukti itu di Lean. Perusahaan tersebut juga menegaskan tidak berniat mengejar Millennium Prize senilai US$1 juta yang dipasang Clay Mathematics Institute untuk masalah yang sama.
Clay masih mengategorikan persoalan Navier–Stokes sebagai “aktif” dan pada 11 September menyatakan bahwa pengumuman tersebut tampaknya menjawab persoalan tersebut, namun aturan lembaga itu mewajibkan evaluasi menyeluruh sebelum keputusan hadiah diambil. Proses itu masih berjalan. Berbeda dengan Clay, hadiah terpisah Sun mensyaratkan bukti yang bisa diverifikasi mesin dan langsung menobatkan tim OpenAI tanpa menunggu mekanisme telaah tradisional.
Baca Juga: Penambangan Bitcoin Hadapi Kesenjangan Hashrate 50% Saat AI Menyedot Kapasitas
Aturan Justin Sun
Sun menjelaskan hadiahnya dirancang untuk mengapresiasi hasil—tanpa mempersoalkan apakah penemunya manusia atau sistem AI—dengan menempatkan verifikasi formal sebagai inti proses penjurian. “Saya hanya peduli pada hasil, bukan apakah kontributornya manusia atau mesin,” ujar Sun. Repositorinya juga menegaskan bahwa pengumuman OpenAI bukan pengganti telaah sejawat (peer review) dan penerimaan luas di komunitas matematika belum dapat dipastikan.
Pertanyaan mengenai atribusi masih menggantung setelah Tristan Buckmaster, profesor di New York University, menyatakan bahwa hasil riset yang belum dipublikasikan bersama rekannya pernah disimpan dalam salah satu produk OpenAI, meski ia menambahkan bahwa ia tidak tahu apakah model tersebut benar-benar memanfaatkannya. “Saya tidak menuduh siapa pun,” kata Buckmaster kepada The Guardian. OpenAI menyatakan hasil investigasinya menunjukkan bahwa prompt Codex milik Buckmaster tidak mungkin memengaruhi sistem yang menghasilkan bukti tersebut.
Polemik ini muncul setelah klaim OpenAI pada 8 September bahwa sistem internalnya telah menyelesaikan persoalan eksistensi dan kelicinan (existence and smoothness) Navier–Stokes yang sudah lama terbuka, dengan menunjukkan terjadinya singularitas waktu-hingga (finite-time singularity) di bawah kondisi resmi yang ditetapkan.
Clay menetapkan Millennium Prize Problems pada tahun 2000, masing-masing dengan hadiah US$1 juta. Lebih dari dua dekade berlalu, persoalan Navier–Stokes secara resmi masih berstatus aktif, sementara para matematikawan menelaah bukti baru tersebut dan menimbang persoalan kredit ilmiah.
Baca Berikutnya: Shiba Inu Perbaiki Tautan Wallet Shibarium yang Bermasalah, Namun SHIB Turun 6% dalam Sepekan
