OpenAI mengklaim sebuah model internal yang belum dirilis berhasil menyelesaikan salah satu dari tujuh persoalan Millennium Prize dalam 88 jam. Sejumlah matematikawan kini menuduh perusahaan itu membajak hasil riset yang belum dipublikasikan.
Pokok Perkara:
- OpenAI menyatakan sekitar 10.000 agen AI menghasilkan pembuktian bahwa persamaan fluida dapat runtuh dalam waktu hingga hingga.
- Seorang profesor NYU menuding OpenAI baru bergerak setelah mendengar hasil risetnya yang belum dipublikasikan.
- Clay Mathematics Institute belum menerima pembuktian tersebut dan masih mengkategorikan masalah ini sebagai terbuka.
Rincian Klaim Pembuktian Navier–Stokes Versi OpenAI
OpenAI mengumumkan hasil tersebut pada 8 September, dengan menyatakan sebuah sistem internal yang belum dipasarkan berhasil membuktikan bahwa persamaan Navier–Stokes—yang menggambarkan pergerakan fluida—dapat mengalami keruntuhan dalam waktu hingga hingga.
Sekitar 10.000 agen otonom menjalankan persoalan itu secara paralel dan menyusun argumen dalam 88 jam. Naskah hasil pembuktian dikabarkan lebih dari 160 halaman.
Upaya besar-besaran tersebut dimulai 1 September, setelah beredar kabar di kalangan komunitas bahwa dua persoalan Millennium telah dipecahkan pihak lain. GPT-6 Astra kemudian menghabiskan tambahan 17 jam untuk memformalkan pembuktian dalam Lean, sebuah bahasa formal yang memverifikasi setiap langkah logis. Manajemen OpenAI memperkirakan biaya komputasi percobaan ini mencapai jutaan dolar AS.
Baca juga: LAPTOP Anjlok 99%, Hunter Biden Bantah Klaim Penipuan Dan Salahkan Bot
Tristan Buckmaster Sengketakan Pengakuan Kredit
Tristan Buckmaster, profesor matematika di New York University, menuduh OpenAI baru serius menggarap persoalan ini setelah kabar mengenai hasil penelitiannya yang belum dipublikasikan sampai ke perusahaan. Hampir setahun sebelumnya ia bekerja sama dengan Levent Alpöge, matematikawan yang bekerja di lab saingan, Anthropic.
Keduanya memanfaatkan asisten pemrograman Codex milik OpenAI untuk menyusun pembuktian mereka. Sesuai ketentuan, OpenAI berhak melatih modelnya menggunakan interaksi tersebut kecuali pengguna secara eksplisit melakukan opt-out.
Buckmaster dan Alpöge mengambil pendekatan teknis yang sangat sempit dan tidak populer pada persoalan ini, sehingga kedekatan waktu antara riset mereka dan langkah OpenAI terlihat janggal di mata Buckmaster. Ia mengklaim matematikawan OpenAI, Sébastien Bubeck, sempat menawarkan kompromi yang praktis menghapus kredit untuk Alpöge, lalu mempertanyakan mengapa Buckmaster mau “menghancurkan” kariernya sendiri.
OpenAI membantah para peneliti dan agen mereka pernah melihat hasil kerja Buckmaster–Alpöge sebelum publikasi. Perusahaan menyatakan tidak ada data pengguna spesifik yang dipakai dalam proyek ini. OpenAI mengakui bahwa data teridentifikasi-secara-tidak-langsung dari penggunaan produk bisa saja meningkatkan kemampuan model mereka, namun berargumen bahwa struktur kedua pembuktian berbeda secara substansial.
Clay Institute Tahan Pengakuan Resmi
Terence Tao dari UCLA mengapresiasi hasil kerja Buckmaster dan Alpöge, sambil mengingatkan bahwa perlombaan komputasi AI berisiko mengubah matematika menjadi sekadar permainan kuota tanpa nilai ilmiah jangka panjang.
Abhishek Saha, profesor matematika di Queen Mary University of London, menyebut episode ini sebagai jenis kontroversi yang umumnya dihindari para matematikawan.
Martin Bridson, direktur Clay Mathematics Institute, menilai pengumuman OpenAI menarik, namun menegaskan proses telaah akan memakan waktu. Lembaga itu hingga kini masih mencatat persoalan Navier–Stokes sebagai “belum terpecahkan”.
Clay Mathematics Institute menetapkan tujuh persoalan Millennium pada tahun 2000, masing-masing dengan hadiah 1 juta dolar AS. Sejauh ini baru Dugaan Poincaré yang resmi dinyatakan terselesaikan, setelah dibuktikan pada 2003 oleh Grigori Perelman, yang kemudian menolak hadiah uang tersebut.
Baca berikutnya: Apple Patok Harga Duo iPhone Lipat Pertama Di $1.999, Ancaman Serius Bagi Samsung
