Ada tujuh soal matematika yang masing-masing berhadiah sejuta dolar, dan sudah puluhan tahun nyaris tidak tersentuh. Pekan ini OpenAI menyatakan salah satunya berhasil ditembus, bukan oleh seorang jenius, melainkan oleh 10.000 agen AI yang bekerja bersama selama 88 jam.
Lalu, sebelum kabar itu sempat dirayakan, muncul tuduhan bahwa OpenAI bergerak setelah mendengar kabar tentang karya orang lain yang belum diterbitkan.
Ringkasan cepat
- Apa: OpenAI mengklaim model internalnya menghasilkan bukti bahwa persamaan Navier-Stokes bisa “blow up”.
- Kapan diberitakan: 8 September 2026.
- Caranya: 10.000 agen AI yang saling berkoordinasi selama 88 jam, dengan bukti yang diverifikasi memakai Lean.
- Bobotnya: Navier-Stokes adalah salah satu Masalah Milenium Clay yang berhadiah satu juta dolar.
- Sengketanya: matematikawan NYU Tristan Buckmaster menuduh OpenAI bergerak setelah mendengar kabar karyanya yang belum terbit.
- Bantahannya: Sébastien Bubeck dari OpenAI menyebut tuduhan itu “palsu dan menghasut”.
Apa yang sebenarnya dipersoalkan
Persamaan Navier-Stokes menggambarkan bagaimana cairan dan udara bergerak. Ini bukan matematika menara gading: persamaan inilah yang dipakai untuk memprakirakan cuaca, merancang sayap pesawat, dan menghitung aliran air.
Masalahnya, sampai sekarang tidak ada yang bisa membuktikan bahwa persamaan itu selalu berperilaku wajar. Pertanyaannya: mungkinkah dalam kondisi tertentu solusinya “meledak”, yaitu menjadi tak terhingga dalam waktu terbatas?
Dalam istilah matematika itu disebut blow up. Kalau persamaan yang kita pakai untuk memprediksi dunia nyata ternyata bisa meledak, itu berarti ada yang belum kita pahami tentang alat yang selama ini kita andalkan.
Soal ini masuk daftar tujuh Masalah Milenium Clay, masing-masing berhadiah satu juta dolar. Sejak diumumkan pada 2000, baru satu yang terpecahkan.
Cara kerjanya yang layak diperhatikan
Bagian teknisnya sendiri menarik, terlepas dari sengketanya.
OpenAI menyebut buktinya dihasilkan oleh 10.000 agen AI yang berkoordinasi selama 88 jam. Ini bukan satu model besar yang berpikir sendirian, melainkan ribuan salinan yang membagi pekerjaan, saling memeriksa, dan menyusun hasilnya.
Dan buktinya diverifikasi memakai Lean, perangkat lunak yang memeriksa langkah demi langkah sebuah pembuktian secara mekanis. Ini penting: kalau Lean menyatakan sebuah bukti sah, kesahihan logikanya tidak bergantung pada kepercayaan kepada siapa pun.
Jadi klaim ini punya bentuk yang bisa diperiksa. Itu berbeda dari klaim kemampuan AI yang biasanya cuma berupa skor tolok ukur.
Kronologi yang jadi sengketa
Inilah urutan yang dipersoalkan, menurut pernyataan publik Buckmaster.
15 Agustus. Buckmaster bersama Levent Alpöge, peneliti di Anthropic, membuktikan bahwa persamaan Euler bisa blow up. Euler adalah sepupu Navier-Stokes tanpa gesekan, dan hasil ini belum diterbitkan.
3 September. Kabar tentang kerja mereka sampai ke OpenAI.
6 September. Buckmaster menyatakan dirinya dua kali berbicara dengan Sébastien Bubeck dari OpenAI, yang menurutnya menyampaikan bahwa model internal OpenAI telah menghasilkan bukti sekitar 100 halaman untuk Navier-Stokes berpaksa.
Buckmaster menuduh Bubeck mengetahui karyanya yang belum terbit lalu menekan soal pengakuan sebelum pengumuman dibuat.
Yang dipertaruhkan bukan siapa yang lebih pintar, melainkan sesuatu yang lebih tua dari itu: siapa yang namanya tercatat.
Bantahan OpenAI, dan bagian yang diakui
Bubeck menolak tuduhan itu dan menyebutnya “palsu dan menghasut”.
Tapi bantahannya tidak sepenuhnya menyangkal segalanya, dan bagian ini penting untuk disebut dengan adil. Bubeck menyatakan model OpenAI memecahkan soal Euler secara mandiri dengan cara yang sama sekali berbeda dari metode Buckmaster dan Alpöge.
Namun ia juga menyatakan bahwa solusi OpenAI untuk Navier-Stokes penuh memang mengikuti metode yang serupa dengan yang dipakai kedua matematikawan itu.
Jadi yang disengketakan bukan apakah ada kemiripan, melainkan bagaimana kemiripan itu muncul dan bagaimana seharusnya diakui.
Sampai tulisan ini dibuat, ini masih sengketa terbuka antara dua pihak yang sama-sama bicara di depan umum. Kami tidak berada dalam posisi menilai siapa yang benar.
Kenapa cerita ini penting melampaui matematika
Ada pergeseran yang tergambar jelas di sini, dan berlaku jauh di luar dunia matematika.
Selama ini, mengetahui bahwa seseorang sedang mengerjakan sesuatu tidak banyak berpengaruh. Kamu tetap harus mengerjakannya sendiri, dan itu butuh waktu bertahun-tahun.
Sekarang, dengan komputasi yang cukup, informasi bahwa suatu masalah bisa dipecahkan dan kira-kira dari arah mana, sudah menjadi keunggulan yang nyata. Waktu antara “tahu ada yang menggarapnya” dan “selesai duluan” menyusut drastis.
Itu mengubah aturan main yang selama ini menopang dunia riset: bahwa berbagi kabar awal itu aman.
Kekhawatiran ini bukan cuma milik pihak yang kalah cepat. Terence Tao, salah satu matematikawan paling dihormati di dunia, mengangkat persoalan yang sama pekan ini, dan kami membahasnya di Masalah Matematika Sedang Ditambang AI.
Apa artinya buat kamu
- Jangan buru-buru menyimpulkan AI sudah mengalahkan matematikawan. Yang terjadi adalah AI dipakai sebagai alat berskala besar, dan hasilnya masih diperiksa manusia.
- Perhatikan bahwa buktinya diverifikasi mesin. Ini pola yang akan makin sering muncul: klaim AI yang bentuknya bisa diuji ulang, bukan sekadar diklaim.
- Kalau kamu bekerja di bidang riset atau kreatif, pertimbangkan ulang kebiasaan bercerita soal proyek yang belum selesai. Lanskapnya sudah berubah.
- Baca klaim terobosan dengan sabar. Verifikasi komunitas untuk bukti sepanjang ini biasanya butuh berbulan-bulan.
Pertanyaan yang sering muncul
Apa yang diklaim OpenAI?
OpenAI menyatakan model internalnya menghasilkan bukti terverifikasi Lean bahwa persamaan Navier-Stokes bisa blow up, dikerjakan oleh 10.000 agen AI yang berkoordinasi selama 88 jam. Navier-Stokes adalah salah satu Masalah Milenium Clay yang berhadiah satu juta dolar.
Apa itu persamaan Navier-Stokes?
Persamaan yang menggambarkan gerak cairan dan udara, dipakai antara lain untuk prakiraan cuaca, perancangan sayap pesawat, dan perhitungan aliran air. Pertanyaan terbukanya adalah apakah solusinya selalu berperilaku wajar, atau bisa menjadi tak terhingga dalam waktu terbatas.
Apa isi sengketanya?
Matematikawan NYU Tristan Buckmaster menuduh OpenAI bergerak setelah mengetahui karyanya bersama Levent Alpöge yang belum diterbitkan, dan menekan soal pengakuan sebelum pengumuman. Sébastien Bubeck dari OpenAI menolak tuduhan itu dan menyebutnya palsu serta menghasut.
Apa yang diakui pihak OpenAI?
Bubeck menyatakan modelnya memecahkan soal Euler secara mandiri dengan metode yang sama sekali berbeda, tetapi juga menyatakan bahwa solusi untuk Navier-Stokes penuh memang mengikuti metode yang serupa dengan yang dipakai kedua matematikawan tersebut.
Apakah hadiah sejuta dolarnya sudah diberikan?
Belum. Yang ada baru klaim dan pemberitaan atasnya. Verifikasi komunitas matematika untuk bukti sepanjang ini biasanya memakan waktu berbulan-bulan, dan sengketa pengakuan kontribusinya pun masih terbuka.
Tinggalkan Komentar