OpenAI mengumumkan pada 8 September bahwa sebuah model internal menjalankan sekitar 10.000 agen untuk menyelesaikan persoalan Navier–Stokes, salah satu problem tersulit dalam matematika modern. Klaim itu langsung diperdebatkan oleh dua matematikawan terkemuka.
Poin Penting:
- Sistem internal OpenAI yang belum dirilis diklaim menghasilkan bukti tertulis dan formalisasi Lean untuk salah satu dari tujuh masalah Millennium Prize.
- Tristan Buckmaster dan Levent Alpöge, yang sehari sebelumnya merilis hasil riset terkait, mempertanyakan bagaimana perusahaan bisa sampai pada pendekatan yang serupa.
- Terence Tao menilai lab AI sedang “menambang” problem terbuka terkenal demi publisitas, bukan demi kemajuan pemahaman matematika.
Detail Klaim Bukti Navier–Stokes OpenAI
Perusahaan tersebut menerbitkan ringkasan teknis dan formalisasi Lean yang berargumen bahwa suatu fluida yang awalnya halus dan diam dapat mengembangkan singularitas dalam waktu hingga—sebuah titik di mana persamaan tak lagi terdefinisi dengan baik. Tim peneliti menggambarkan sistem internal ini “jauh lebih kapabel” daripada GPT-6 Astra dan menyatakan modelnya masih dalam tahap pelatihan dengan performa yang terus naik.
Pertanyaan tentang ada-tidaknya singularitas dalam solusi Navier–Stokes telah diburu matematikawan selama kurang lebih 90 tahun, sejak Jean Leray pada 1934 menunjukkan bahwa solusi eksis dalam pengertian yang lebih longgar dan terumumkan.
OpenAI mulai melatih model tersebut pada 28 Agustus, lalu pada 1 September menugaskannya untuk mengerjakan seluruh problem Millennium Prize, setelah beredar kabar bahwa dua di antaranya sudah “tumbang”. Para eksekutif mengatakan kepada jurnalis bahwa biaya komputasi menembus jutaan dolar AS.
Baca Juga: Harga XRP Bidik $1,46 Seiring Akumulasi Whale Kembali Menguat di September
Buckmaster dan Bubeck Berseteru Soal Kredit
Tristan Buckmaster, profesor matematika di New York University, dan Levent Alpöge, peneliti di Anthropic yang bekerja dalam kapasitas pribadi, hampir setahun menggarap persamaan fluida yang berkaitan. Mereka membangun di atas hasil sebelumnya dari Diego Cordoba dan Luis Martinez-Zoroa, dan merilis bukti yang sudah diverifikasi Lean untuk problem Euler dengan gaya paksa (forced Euler) sehari sebelum OpenAI mengumumkan temuannya.
Buckmaster kemudian mempertanyakan apakah draf pribadinya di Codex ikut “mengasuh” upaya saingan tersebut, dan menyebut tidak mendapatkan jawaban jelas soal data pelatihan model.
Ia juga menuduh peneliti OpenAI Sebastien Bubeck mendorong agar nama Alpöge dihapus dari sebuah makalah karena afiliasinya di Anthropic, kemudian memperingatkannya agar tidak membawa sengketa ini ke ruang publik.
Bubeck membantah keras tudingan itu sebagai tidak benar dan bersifat memanas-manasi.
Pihak OpenAI mengatakan tidak ada peneliti maupun agen AI mereka yang melihat hasil kerja Buckmaster–Alpöge sebelum publikasi, meski mengakui bahwa data penggunaan yang sudah dianonimkan mungkin tetap berkontribusi meningkatkan modelnya. Perusahaan juga menyatakan tidak berniat mengklaim hadiah US$1 juta yang melekat pada problem tersebut. Clay Mathematics Institute, lembaga yang pada 2000 menetapkan tujuh masalah Millennium Prize, masih mencatat Navier–Stokes sebagai problem belum terselesaikan.
Terence Tao Mengkritik Cara AI “Menggarap” Matematika
Terence Tao, salah satu matematikawan paling berpengaruh saat ini, memperingatkan bahwa perusahaan AI memperlakukan problem terbuka papan atas hanya sebagai ajang pembuktian kemampuan komersial sistem terbaru mereka.
Menurut Tao, jika problem-problem ikonik itu sekadar “dikupas” demi jawaban instan, ekosistem yang melahirkan generasi baru teknik, pertanyaan, dan peneliti matematika bisa rusak. Ia mengibaratkan praktik tersebut seperti menjarah situs arkeologi: temuan permukaannya mungkin spektakuler, tetapi warisan dan konteks jangka panjangnya hancur.
Skala eksperimen OpenAI meningkat sangat cepat. Sekitar 100 agen pertama-tama menyelesaikan versi lebih sederhana, problem Euler tanpa gaya (unforced Euler), dalam sekitar 50 jam. Kelompok agen Navier–Stokes kemudian melaporkan jawaban pada 5 September, kurang lebih 88 jam setelah peluncuran, dan proses verifikasi bukti dengan Lean memakan tambahan waktu 17 jam.
Baca Selanjutnya: Bitget Tambah Materi Blockchain ke Program UNICEF yang Menjangkau 642.000+ Peserta
