Dunia matematika komputasi kembali memanas. OpenAI mengumumkan model AI internal mereka membuktikan persamaan Navier-Stokes dapat mencapai titik “blow up” - kondisi di mana matematika memprediksi kecepatan tak terhingga. Navier-Stokes merupakan satu dari tujuh Millennium Prize Problems yang menyediakan hadiah $1 juta dari Clay Mathematics Institute bagi siapa pun yang mampu memecahkannya.
Klaim OpenAI menyebut proses pembuktian memakan waktu 88 jam dan melibatkan sekitar 10.000 agen AI yang bekerja serentak. Mereka menggunakan model generasi baru yang lebih canggih dari GPT-6 Astra dan belum dirilis ke publik. Hasilnya adalah dokumen pembuktian setebal 100 halaman yang diverifikasi lewat software Lean.
Namun, angka 88 jam itu belum menceritakan semuanya. Ada perebutan kredit penemuan yang sengit terjadi sesudahnya.
Tiga Hari Menuju Pengumuman
Matematikawan New York University, Tristan Buckmaster, bersama peneliti Anthropic, Levent Alpöge, mengklaim menemukan solusi yang sama pada 22 Agustus 2026 setelah memakai model AI selama hampir setahun. Pada 3 September, Buckmaster mengaku memberi tahu seorang matematikawan OpenAI mengenai proyeknya. Ia menekankan obrolan itu bersifat personal dan tidak berafiliasi dengan perusahaan mana pun.
Tiga hari berselang, Sébastien Bubeck dari OpenAI mengungkap model internal mereka sudah menghasilkan bukti 100 halaman untuk Navier-Stokes. Pendekatan “forced Navier-Stokes” yang dipakai nyaris identik dengan rute Buckmaster.
Ketegangan memuncak ketika Buckmaster menyebut Bubeck memberinya dua pilihan sempit. Pilihan pertama: OpenAI menerbitkan temuan satu hari setelah tim Buckmaster. Pilihan kedua: Buckmaster menerbitkan risetnya sendiri tanpa nama Alpöge, karena ia berstatus karyawan Anthropic yang menjadi rival OpenAI. Buckmaster menuduh Bubeck melontarkan ancaman, berbunyi “Why would you ruin your career?” dan “If you don’t want me to be nice, then I don’t have to be nice.”
Bantahan dan Perlombaan Belum Selesai
Tuduhan itu langsung dimentahkan pihak perusahaan. Sam Altman membela anak buahnya, menyebut Bubeck bertindak dengan integritas tinggi di sepanjang proses. Bubeck berkilah timnya baru tahu Buckmaster hanya membuktikan persamaan Euler, bukan Navier-Stokes penuh, sehingga rencana rilis bersama berubah.
📌 Baca Juga1.200 Agen AI Kabur Serang OpenAI - Ilmuwan Kepalanya Kini Desak Seluruh Industri Pelankan Laju
Buckmaster tetap menerbitkan risetnya dan mencantumkan Alpöge sebagai penulis. OpenAI tidak memberikan pengakuan kepada kedua peneliti itu selain lewat satu cuitan balasan. Meski diwarnai konflik, peraih Fields Medal Terence Tao menyebut hasil kerja matematika Buckmaster dan Alpöge sebagai sebuah pencapaian yang patut diperhitungkan.
Ini klaim besar kedua dalam hitungan minggu setelah Anthropic mengumumkan model Claude mereka membuktikan Teorema Terakhir Fermat. Sampai saat ini, baik bukti 100 halaman milik OpenAI maupun solusi Buckmaster yang mendekati syarat masalah $1 juta belum mendapat verifikasi independen.
Persaingan AI sudah melebar dari teks ke matematika murni, tapi perebutan panggung antarkorporasi tak ikut reda. Dilansir dari Decrypt.
Baca juga: Bitcoin Tembus $80.000 Jelang Rapat Fed - Tapi Data 162.000 Pekerjaan Baru Bawa Skenario Berbeda
Disclaimer: Artikel ini bersifat informatif dan edukatif, bukan nasihat keuangan. Aset kripto sangat fluktuatif dan berisiko tinggi. Selalu lakukan riset mandiri (DYOR) dan jangan berinvestasi melebihi kemampuanmu menanggung kerugian.
