Klaim OpenAI soal Navier–Stokes Masih Diteliti, Bukan Sudah Diterima

Pada 8 September, OpenAI mengumumkan sesuatu yang sangat besar: sistem internal yang belum dirilis disebut telah menghasilkan bukti bahwa aliran fluida tiga dimensi dalam persamaan Navier–Stokes dapat membentuk singularitas dalam waktu hingga—secara sederhana, titik ketika solusi matematisnya “meledak” atau tidak lagi mulus.

Klaim ini luar biasa, tetapi bukan berarti masalahnya langsung dinyatakan selesai. Dalam matematika, terutama untuk persoalan berstatus legendaris, pengumuman perusahaan dan verifikasi formal bukan pengganti pemeriksaan panjang oleh komunitas ahli.

Apa yang diklaim OpenAI

OpenAI mengatakan bahwa sistem internalnya menghasilkan bukti analitis beserta formalisasi dalam Lean, perangkat lunak pembuktian formal. Hasil yang diklaim menyatakan bahwa fluida tiga dimensi yang semula halus dan diam dapat mengembangkan singularitas dalam waktu hingga. Prosesnya melibatkan sekitar 10.000 agen yang bekerja serentak. 2

Jika bukti itu lolos pengujian dan benar-benar menjawab rumusan resmi, kesimpulannya akan negatif bagi pertanyaan existence and smoothness: solusi yang mulus tidak selalu harus tetap mulus untuk semua waktu. Clay Mathematics Institute (CMI) mendefinisikan masalah tersebut sebagai pertanyaan tentang keberadaan dan kemulusan solusi Navier–Stokes di ruang Euclides tiga dimensi. 18

Mengapa Navier–Stokes sangat penting

Persamaan Navier–Stokes digunakan untuk menggambarkan gerak fluida. Persamaan ini mendasari kajian matematis tentang aliran udara, air, turbulensi, dan dinamika fluida secara umum. Meski telah ditulis sejak abad ke-19, pemahaman kita tentang perilaku umum solusi tiga dimensinya masih sangat terbatas. 30

Masalah ini termasuk salah satu Millennium Prize Problems dari CMI. Rumusan resminya pada pokoknya meminta pembuktian bahwa solusi yang mulus dan masuk akal secara fisik selalu ada secara global, atau penyelesaian alternatif yang memenuhi ketentuan resmi. 1721

Jadi, ini bukan sekadar capaian uji coba model AI. Bila valid, hasil tersebut akan menjawab pertanyaan mendasar dalam analisis matematika dan dinamika fluida. Namun, semakin besar dampaknya, semakin tinggi pula standar verifikasinya.

Mengapa klaim itu belum langsung diterima

Pada 11 September, CMI menyatakan sedang mempertimbangkan pengumuman bahwa persoalan Navier–Stokes “tampaknya telah terselesaikan”. Pada saat yang sama, lembaga itu menegaskan proses evaluasi dan penetapan kreditnya memang sengaja tidak dilakukan terburu-buru. 18

Aturan hadiah CMI mensyaratkan tiga hal sebelum solusi yang diajukan dapat dipertimbangkan: dipublikasikan di wadah yang memenuhi syarat, telah berlalu sedikitnya dua tahun sejak publikasi, dan memperoleh penerimaan umum dari komunitas matematika global. 27 Selain itu, solusi harus secara memuaskan menjawab pertanyaan dalam deskripsi resmi masalah. 20

Lean dapat memeriksa apakah rangkaian langkah formal mengikuti definisi dan asumsi yang sudah dikodekan. Itu merupakan bentuk verifikasi yang sangat kuat. Namun, matematikawan tetap perlu menilai hal-hal yang tidak otomatis diselesaikan oleh pemeriksa formal: apakah teorema yang diformalkan memang tepat, apakah asumsi yang dipakai sesuai, dan apakah penerjemahan dari masalah informal ke bahasa formal benar-benar menyelesaikan pertanyaan yang dimaksud.

Status paling akurat saat ini adalah diklaim dan sedang ditelaah, bukan telah diterima secara universal atau telah disertifikasi untuk hadiah Millennium.

Sengketa prioritas dan atribusi

Pengumuman ini muncul di tengah perselisihan yang melibatkan Tristan Buckmaster, matematikawan dari New York University, dan Levent Alpöge, matematikawan yang berafiliasi dengan Anthropic. Keduanya dilaporkan telah mengerjakan pertanyaan yang berkaitan, sementara Buckmaster mengangkat kekhawatiran tentang bagaimana OpenAI mulai mengejar masalah tersebut. 953

Buckmaster juga mengajukan tuduhan tentang perilaku yang tidak semestinya dalam pembicaraan mengenai atribusi dan kolaborasi. OpenAI menolak tuduhan yang lebih luas itu. Perusahaan menyatakan para peneliti dan agennya tidak melihat karya mereka sebelum karya tersebut dirilis ke publik, serta tidak ada data pengguna spesifik yang diakses untuk menyelesaikan masalah ini. 53

Kedua versi tersebut merupakan klaim yang dipersengketakan, bukan temuan yang telah terbukti. Namun, episode ini memperjelas satu persoalan: ketika laboratorium AI dan peneliti manusia bekerja di dekat frontier yang sama, siapa yang patut memperoleh kredit dan bagaimana prosesnya didokumentasikan menjadi sangat penting.

Mengapa isu penggunaan data menjadi sensitif

Salah satu pertanyaan paling peka adalah apakah pekerjaan yang dimasukkan pengguna ke produk AI dapat turut membentuk kemampuan model yang kemudian dipakai untuk riset lain. OpenAI mengatakan tidak mengakses data pengguna spesifik milik para peneliti itu untuk pekerjaan Navier–Stokes. Namun, perusahaan juga menyatakan tidak dapat sepenuhnya menyingkirkan kemungkinan bahwa data yang telah dihilangkan identitasnya dari penggunaan produk turut membantu meningkatkan modelnya. 59

Pembedaan tersebut mungkin penting secara teknis, tetapi tidak serta-merta menghapus pertanyaan tata kelola: seberapa jelas asal-usul data, persetujuan, dan kemampuan audit yang semestinya dapat diharapkan peneliti ketika memakai AI untuk pekerjaan yang belum dipublikasikan?

Bagi akademisi, sengketa ini menjadi pengingat praktis untuk memahami kebijakan data produk sebelum memasukkan draf, dugaan matematis, kode, atau materi riset sensitif ke dalam alat AI.

Peringatan dari para peraih Fields Medal

Pada 11 September, Terence Tao menerbitkan deklarasi berjudul A Severe Misalignment of AI in Mathematics, dengan 25 penandatangan awal yang seluruhnya merupakan peraih Fields Medal. 43

Deklarasi itu mencerminkan kekhawatiran bahwa perusahaan dapat memperlakukan masalah-masalah terbuka terkenal sebagai tolok ukur publik atau ajang promosi, alih-alih sebagai kerja intelektual yang membutuhkan kolaborasi. Para pengkritik khawatir pengumuman yang tergesa-gesa, penjelasan yang belum memadai, atribusi yang lemah, dan dorongan untuk mendahului pihak lain dapat membuat peneliti enggan membagikan gagasan awal.

Peringatan tersebut bukan seruan untuk menyingkirkan AI dari matematika. Yang dipertaruhkan adalah norma yang menopang kemajuan matematika: pemeriksaan terbuka, pemaparan yang cermat, pemberian kredit, dan percakapan ilmiah. Norma itu perlu dijaga ketika kemampuan sistem AI meningkat.

Standar untuk matematika berbantuan AI yang bertanggung jawab

Kontroversi ini menunjukkan standar praktis yang layak diterapkan pada klaim riset AI yang luar biasa:

• Artefak bukti yang terbuka dan dapat diperiksa: Klaim seharusnya disertai naskah rigor dan, bila tersedia, formalisasi yang dapat diperiksa mesin.
• Telaah independen: Pemeriksaan formal dan evaluasi oleh ahli matematika memiliki fungsi berbeda; klaim besar memerlukan keduanya.
• Atribusi yang jelas: Laboratorium perlu mendokumentasikan karya terdahulu yang relevan, kontribusi manusia, serta batas peran sistem AI.
• Provenans data: Peneliti memerlukan komitmen yang mudah dipahami tentang apakah dan bagaimana interaksi mereka dapat berkontribusi pada peningkatan model.
• Ruang untuk penelaahan: Menyelesaikan masalah besar bukan hanya menghasilkan jawaban benar atau salah, melainkan juga menjelaskan apa yang dibuktikan, mengapa benar, dan bagaimana hasilnya ditempatkan dalam bidang tersebut.

Kesimpulan

Pengumuman OpenAI dapat menjadi tonggak penting bagi riset matematika berbantuan AI. Namun, pengumuman itu tidak menutup perkara pada hari pertama. Pertanyaan penentunya adalah apakah bukti yang diklaim akan memperoleh penerimaan independen yang berkelanjutan, sesuai standar komunitas matematika dan Clay Mathematics Institute. 1827

Reaksi keras dari kalangan matematikawan menunjukkan alasan proses itu penting. Seiring AI masuk ke riset berisiko tinggi, kepercayaan tidak hanya bergantung pada apa yang dapat ditemukan sistem, tetapi juga pada apakah penemuannya dapat diverifikasi, dijelaskan, dan diberi kredit secara adil.