OpenAI pada 8 September menyatakan bahwa sebuah model internal yang mengoperasikan sekitar 10.000 agen telah menghasilkan solusi atas persoalan Navier–Stokes – klaim yang langsung dibantah dua matematikawan terkemuka.
Pokok-Pokok Utama:
- Sistem internal OpenAI yang belum dirilis menghasilkan bukti tertulis dan formaliasi Lean untuk salah satu dari tujuh persoalan Millennium Prize.
- Tristan Buckmaster dan Levent Alpöge, yang sehari sebelumnya merilis hasil terkait dengan pendekatan mirip, mempertanyakan bagaimana OpenAI bisa sampai pada jalur yang sama.
- Terence Tao menilai lab AI tengah “menguras” persoalan terbuka terkenal demi publisitas, bukan demi kemajuan pemahaman matematika.
Rincian Klaim Bukti Navier–Stokes Versi OpenAI
Perusahaan itu menerbitkan naskah teknis berikut formaliasi di Lean yang berargumen bahwa suatu fluida yang awalnya halus dan diam dapat mengembangkan singularitas dalam waktu hingga tertentu (finite time). Para peneliti menggambarkan sistem internal ini jauh lebih kapabel daripada GPT-6 Astra, dan menegaskan modelnya masih dalam fase pelatihan dengan kinerja yang terus meningkat.
Persoalan serupa telah dikejar matematikawan hampir 90 tahun, sejak Jean Leray pada 1934 membuktikan keberadaan solusi dalam pengertian yang lebih lemah dan tergeneralisasi.
OpenAI mulai melatih model ini pada 28 Agustus, lalu menembakkannya ke seluruh persoalan Millennium Prize yang masih terbuka pada 1 September, setelah beredar kabar bahwa dua di antaranya sudah terselesaikan. Pihak eksekutif mengatakan kepada media bahwa biaya komputasi menembus jutaan dolar.
Baca juga: Harga XRP Bidik $1,46 Seiring Akumulasi “Whale” Kembali Meningkat di September
Perseteruan Buckmaster dan Bubeck Soal Kredit
Tristan Buckmaster, matematikawan di New York University, dan Levent Alpöge, peneliti di Anthropic yang mengerjakan proyek ini secara pribadi, telah hampir setahun menggarap persamaan fluida terkait. Mereka membangun di atas karya terdahulu Diego Cordoba dan Luis Martinez-Zoroa, dan sehari sebelum pengumuman OpenAI merilis bukti yang terverifikasi Lean untuk persoalan forced Euler.
Buckmaster kemudian mempertanyakan apakah draf pribadinya di Codex ikut “mengarahkan” upaya OpenAI, dan menyatakan tidak pernah mendapat jawaban jelas soal bagaimana data pelatihan model dipilih dan digunakan.
Ia juga menuturkan bahwa peneliti OpenAI, Sebastien Bubeck, mendorong agar nama Alpöge dihapus dari sebuah makalah karena afiliasi perusahaannya, lalu memperingatkan keduanya agar tidak membeberkan masalah ini ke publik.
Bubeck membantah keras versi cerita tersebut sebagai tidak benar dan bersifat provokatif.
Pihak OpenAI menyatakan bahwa baik penelitinya maupun agen-agen AI yang digunakan tidak pernah mengakses karya Buckmaster–Alpöge sebelum publikasi, seraya mengakui bahwa data penggunaan yang sudah dianonimkan mungkin saja berkontribusi pada peningkatan model. Perusahaan mengatakan tidak berniat mengajukan klaim terhadap hadiah uang US$1 juta yang melekat pada persoalan itu.
Clay Mathematics Institute, lembaga yang pada 2000 menetapkan tujuh persoalan Millennium Prize, sampai sekarang masih mencantumkan Navier–Stokes sebagai persoalan yang belum terselesaikan.
Terence Tao Soroti Cara Lab AI Menggarap Matematika
Terence Tao, kerap dijuluki salah satu matematikawan terbesar yang masih hidup, mengkritik kecenderungan perusahaan AI memperlakukan persoalan terbuka terkenal sebagai panggung promosi sistem terbaru mereka.
Ia berargumen, jika persoalan tersebut hanya dijadikan “ladang jawaban” tanpa memperhatikan proses dan struktur pengetahuan, ekosistem yang melahirkan generasi berikut teknik, pertanyaan, dan matematikawan aktif bisa rusak – disamakannya dengan penjarahan situs arkeologi demi artefak, bukan ilmu.
Skala eksperimen OpenAI meningkat sangat cepat. Sekitar 100 agen terlebih dahulu memecahkan varian lebih sederhana, persoalan unforced Euler, dalam waktu sekitar 50 jam. Kelompok agen yang menangani Navier–Stokes kemudian melaporkan jawaban pada 5 September, kira-kira 88 jam setelah peluncuran, dan verifikasi bukti dalam Lean memakan tambahan 17 jam.
Artikel selanjutnya: Bitget Tambah Materi Blockchain ke Program UNICEF yang Menjangkau 642.000+ Peserta
