Clay Mathematics Institute untuk pertama kalinya secara terbuka mengakui bahwa masalah keberadaan dan kelancaran Navier-Stokes — salah satu dari tujuh Masalah Hadiah Milenium — "tampaknya telah diselesaikan." Pernyataan tersebut, yang dipublikasikan di situs web institut tersebut pada hari Jumat, memindahkan salah satu kisah AI dan matematika yang paling diperebutkan tahun ini ke dalam proses evaluasi hadiah formal institut tersebut, sekaligus memperjelas bahwa tidak ada hadiah yang diberikan dan tidak ada bukti yang didukung.
“Hari ini, CMI turut serta dalam kegembiraan komunitas matematika global saat kami merenungkan pengumuman bahwa masalah Navier-Stokes tampaknya telah diselesaikan,” tulis institut tersebut dalam pengumuman tersebut, tertanggal 11 September 2026. “Kami berharap dapat melihat gelombang pemahaman manusia baru yang muncul seiring dengan analisis dan interogasi inovasi di balik pekerjaan ini.” For more context on this story, see our ongoing latest AI developments.
Mengapa Pernyataan Itu Penting
Bahasa terukur dari institut ini melakukan banyak pekerjaan, dan setiap kata diurai dalam beberapa jam di Hacker News, di mana pengumuman tersebut mengumpulkan lebih dari 100 poin. Apa yang tidak diungkapkan dalam pernyataan tersebut sama pentingnya dengan apa yang diungkapkannya: Clay Mathematics Institute tidak menyebutkan nama OpenAI, tidak mengonfirmasi bahwa bukti spesifik apa pun benar, dan tidak memicu pemberian hadiah.
Konteksnya menjelaskan pengekangan tersebut. Pada tanggal 8 September, OpenAI menerbitkan solusi yang diklaim untuk masalah Navier-Stokes, yang menyatakan bahwa sistem AI internal – yang digambarkan oleh perusahaan secara signifikan lebih mampu daripada model GPT-6 Astra – telah menghasilkan bukti analitis dan verifikasi formal dalam asisten bukti Lean. Pengumuman ini segera menjadi tentang kredit dan juga tentang komputasi, karena dua matematikawan akademis merilis makalah yang berkaitan erat pada hari yang sama, dan para peneliti menekan OpenAI yang karyanya telah menginformasikan hasil mesin tersebut.
Dengan kini lembaga tersebut mengakui bahwa masalahnya "tampaknya telah terselesaikan", perselisihan tersebut mengubah medan: dari siaran pers ping-pong ke prosedur evaluasi Hadiah Milenium, yang oleh lembaga tersebut digambarkan sebagai "sengaja tidak tergesa-gesa".
Apa yang Ditanyakan Masalah Navier-Stokes
Masalahnya menyangkut keberadaan dan kelancaran penyelesaian persamaan Navier-Stokes dalam ruang Euclidean tiga dimensi — persamaan yang menggambarkan bagaimana fluida seperti air dan udara bergerak. Meskipun persamaan ini digunakan sehari-hari oleh para insinyur, ahli meteorologi, dan ahli aerodinamika, ahli matematika tidak pernah membuktikan bahwa solusi yang mulus dan masuk akal secara fisik selalu ada dalam tiga dimensi, atau bahwa persamaan tersebut berperilaku dapat diprediksi dan bukannya mengembangkan singularitas.
Clay Mathematics Institute meluncurkan Masalah Hadiah Milenium pada pertemuan di Paris pada tahun 2000, memberikan hadiah $1 juta untuk masing-masing dari tujuh masalah, yang juga mencakup Hipotesis Riemann dan P versus NP. Dalam pernyataannya pada hari Jumat, institut tersebut menegaskan kembali alasan awalnya: untuk meningkatkan kesadaran masyarakat bahwa batas matematika terbuka, dan untuk mengakui "pencapaian dalam matematika yang sangat bersejarah."
Hanya satu dari tujuh masalah, Dugaan Poincaré, yang telah diselesaikan - oleh Grigori Perelman dalam karyanya yang diterbitkan pada tahun 2002 dan 2003, yang mana ia terkenal menolak Fields Medal dan hadiah uangnya.
Evaluasi 'Sengaja Tidak Terburu-buru' ke Depan
Pengumuman lembaga tersebut menunjuk pada aturan hadiah sebagai kerangka yang menentukan apa yang akan terjadi selanjutnya. “Peraturan yang mengatur hadiah menggambarkan proses untuk mengevaluasi apa yang telah dicapai dan untuk memberikan penghargaan,” bunyi pernyataan itu. "Prosesnya sengaja tidak terburu-buru, tapi kami akan memberikan pembaruan."
Ungkapan tersebut membuka beberapa pertanyaan yang kini diperdebatkan secara terbuka oleh komunitas matematika. Verifikasi adalah rintangan pertama: bukti kelancaran Navier-Stokes biasanya membutuhkan waktu berbulan-bulan bagi komite ahli untuk memeriksanya baris demi baris. Klaim OpenAI bahwa hasilnya mencakup formalisasi yang diperiksa mesin di Lean, pada prinsipnya, dapat memampatkan garis waktu tersebut secara dramatis, karena verifikasi formal mengurangi pertanyaan tentang kebenaran menjadi apa yang akan diterima oleh asisten pembuktian. Namun lembaga tersebut belum mengatakan apakah formalisasi tersebut telah diserahkan kepada mereka, siapa yang menjadi wasitnya, atau bagaimana penghargaan akan dibagi antara sistem AI, penciptanya di OpenAI, dan ahli matematika akademis yang makalah terkaitnya muncul pada minggu yang sama.
Pernyataan tersebut juga tidak membahas apakah suatu solusi yang sebagian besar disebabkan oleh sistem AI memenuhi syarat untuk mendapatkan hadiah yang, dalam bahasa pendiri institut, dimaksudkan untuk mengakui pencapaian matematika manusia – sebuah pertanyaan yang belum pernah ada sebelumnya dalam 26 tahun sejarah penghargaan tersebut.
Ketegangan di Balik Pengumuman
Pengumuman ini terjadi pada saat yang sangat sulit bagi persimpangan antara AI dan matematika. Pada hari Jumat, sekelompok 25 Peraih Medali Bidang termasuk Terence Tao menerbitkan deklarasi resmi yang memperingatkan bahwa perlombaan untuk menampilkan sistem AI pada tolok ukur matematika merugikan ilmu pengetahuan dan komunitas yang mendukungnya – sebuah pernyataan yang mengumpulkan lebih dari 1.300 pendukung tambahan dalam satu hari, seperti yang dilaporkan sebelumnya oleh AI Buzz Wire.
Kedua dokumen tersebut dibaca hampir sebagai jawaban satu sama lain. Deklarasi para ahli matematika memperingatkan agar tidak memperlakukan masalah yang mendalam sebagai piala patokan; Pengumuman yang dikeluarkan oleh institut tersebut, meskipun menyambut hasilnya, dengan jelas membingkai momen seputar pemahaman, bukan kemenangan, dan berharap untuk melihat "gelombang pemahaman manusia yang baru muncul ketika inovasi di balik pekerjaan ini dianalisis dan diinterogasi."
Bahkan laporan institut tersebut sendiri mengenai bidang-bidang di sekitarnya mengakui adanya pergeseran ini: "Meningkatnya kemampuan teknologi baru untuk mempercepat penelitian matematika telah meningkatkan rasa antisipasi ini," pernyataan tersebut mencatat, memuji terobosan-terobosan baru-baru ini di bidang-bidang yang berdekatan – beberapa diakui oleh Clay Research Award – dengan meningkatkan harapan bahwa Navier-Stokes akan segera jatuh.
Apa yang Terjadi Selanjutnya
Untuk saat ini, kesimpulan praktisnya masih sempit namun nyata: lembaga yang memiliki masalah tersebut telah menyatakan bahwa mereka menganggap masalah tersebut telah selesai, dan telah berkomitmen untuk memberikan informasi terbaru kepada publik seiring dengan proses evaluasi yang dilakukan. Jika karya ini lolos dari pengawasan, maka ini akan menjadi Masalah Milenium kedua yang terselesaikan, yang pertama dalam dua dekade – dan yang pertama dalam sejarah yang sebagian disebabkan oleh sistem AI, sebuah perbedaan yang akan membentuk cara institusi matematika menangani klaim berikutnya.
Pihak lembaga telah meminta kesabaran. Mengingat bahwa proses ini sengaja dibuat tidak terburu-buru, maka pertanyaan masyarakat – mengenai bukti, penghargaan, dan peran mesin yang memproduksinya – akan dijawab sesuai dengan lini waktu lembaga tersebut, bukan dalam siklus pemberitaan.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
