Institut Matematik Tanah Liat telah secara terbuka mengakui buat kali pertama bahawa masalah kewujudan dan kelancaran Navier-Stokes — salah satu daripada tujuh Masalah Hadiah Milenium — "nampaknya telah diselesaikan." Kenyataan itu, yang diterbitkan di laman web institut itu pada hari Jumaat, menggerakkan salah satu kisah AI-dan-matematik yang paling banyak dipertandingkan tahun ini ke dalam proses penilaian hadiah rasmi institut, sambil menjelaskan dengan jelas bahawa tiada hadiah telah diberikan dan tiada bukti yang disahkan.
"Hari ini, CMI berkongsi keterujaan komuniti matematik global sambil kami merenung pengumuman bahawa masalah Navier-Stokes nampaknya telah diselesaikan," tulis institut itu dalam pengumuman itu, bertarikh 11 September 2026. "Kami berharap untuk melihat gelombang pemahaman manusia baharu dilepaskan ketika inovasi dan di sebalik kerja ini disoal siasat." For more context on this story, see our ongoing artificial intelligence updates.
Mengapa Penyata Penting
Bahasa yang diukur oleh institut melakukan banyak kerja, dan setiap perkataan telah dihuraikan dalam beberapa jam di Berita Hacker, di mana pengumuman itu mengumpulkan lebih daripada 100 mata. Perkara yang tidak dinyatakan oleh kenyataan itu adalah sama pentingnya dengan apa yang ia lakukan: Institut Matematik Tanah Liat tidak menamakan OpenAI, tidak mengesahkan bahawa sebarang bukti khusus adalah betul, dan tidak mencetuskan anugerah hadiah.
Konteks menjelaskan kekangan. Pada 8 September, OpenAI menerbitkan penyelesaian yang dituntut untuk masalah Navier-Stokes, dengan menyatakan bahawa sistem AI dalaman — yang diterangkan oleh syarikat sebagai jauh lebih berkemampuan daripada model GPT-6 Astra — telah menghasilkan bukti analitikal dan pengesahan rasmi dalam pembantu kalis Lean. Pengumuman itu serta-merta menjadi tentang kredit seperti kira-kira pengiraan, kerana dua ahli matematik akademik mengeluarkan kertas kerja yang berkait rapat pada hari yang sama, dan penyelidik menekan OpenAI yang kerjanya telah memaklumkan keputusan mesin itu.
Dengan institut itu kini mengakui bahawa masalah itu "nampaknya telah diselesaikan," pertikaian itu mengubah rupa bumi: daripada ping-pong siaran akhbar kepada prosedur penilaian Hadiah Milenium, yang disifatkan oleh institut itu sebagai "sengaja tidak tergesa-gesa."
Apa yang Ditanyakan oleh Masalah Navier-Stokes
Masalahnya melibatkan kewujudan dan kelancaran penyelesaian kepada persamaan Navier-Stokes dalam ruang Euclidean tiga dimensi — persamaan yang menerangkan bagaimana bendalir seperti air dan udara bergerak. Walaupun persamaan ini digunakan setiap hari oleh jurutera, ahli meteorologi, dan ahli aerodinamik, ahli matematik tidak pernah membuktikan bahawa penyelesaian yang lancar dan munasabah dari segi fizikal sentiasa wujud dalam tiga dimensi, atau bahawa mereka berkelakuan boleh diramalkan daripada membangunkan singulariti.
Institut Matematik Tanah Liat melancarkan Masalah Hadiah Milenium pada mesyuarat di Paris pada tahun 2000, melampirkan hadiah $1 juta kepada setiap tujuh masalah, yang juga termasuk Hipotesis Riemann dan P lawan NP. Dalam kenyataan hari Jumaatnya, institut itu mengulangi rasional asalnya: untuk meningkatkan kesedaran orang ramai bahawa sempadan matematik adalah terbuka, dan untuk mengiktiraf "pencapaian dalam matematik dengan magnitud bersejarah."
Hanya satu daripada tujuh masalah, Poincaré Conjecture, telah diselesaikan - oleh Grigori Perelman dalam kerja yang disiarkan pada tahun 2002 dan 2003, yang mana beliau terkenal menolak Pingat Fields dan hadiah wang.
Penilaian 'Sengaja Tidak Terburu-buru' Di Hadapan
Pengumuman institut itu menunjukkan peraturan hadiah sebagai rangka kerja pentadbir untuk apa yang berlaku seterusnya. "Peraturan yang mengawal hadiah menerangkan proses untuk menilai apa yang telah dicapai dan untuk memberikan kredit," kata kenyataan itu. "Proses ini sengaja tidak tergesa-gesa, tetapi kami akan memberikan kemas kini."
Ungkapan itu membuka beberapa soalan yang kini sedang dibahaskan secara terbuka oleh komuniti matematik. Pengesahan ialah halangan pertama: bukti kelancaran Navier-Stokes biasanya memerlukan jawatankuasa pakar selama berbulan-bulan untuk menyemak baris demi baris. Dakwaan OpenAI bahawa keputusannya termasuk pemformalan yang disemak mesin dalam Lean boleh, pada dasarnya, memampatkan garis masa itu secara dramatik, kerana pengesahan rasmi mengurangkan persoalan ketepatan kepada perkara yang akan diterima oleh pembantu bukti. Tetapi institut itu tidak menyatakan sama ada pemformalan seperti itu telah diserahkan kepadanya, siapa pengadilnya, atau bagaimana kredit akan diagihkan antara sistem AI, penciptanya di OpenAI, dan ahli matematik akademik yang kertas kerja berkaitannya muncul pada minggu yang sama.
Kenyataan itu juga tidak membincangkan sama ada penyelesaian yang boleh dikaitkan dengan sebahagian besar sistem AI layak untuk hadiah yang dimaksudkan, dalam bahasa pengasas institut itu, untuk mengiktiraf pencapaian matematik manusia — soalan yang tidak pernah berlaku dalam sejarah 26 tahun hadiah itu.
Ketegangan di Sebalik Pengumuman
Pengumuman itu tiba pada saat yang sangat rumit untuk persimpangan AI dan matematik. Pada hari Jumaat, sekumpulan 25 Pemenang Pingat Lapangan termasuk Terence Tao menerbitkan amaran pengisytiharan rasmi bahawa perlumbaan untuk mempamerkan sistem AI pada penanda aras matematik merosakkan kedua-dua sains dan komuniti yang mengekalkannya - satu kenyataan yang mengumpulkan lebih daripada 1,300 penyokong tambahan dalam masa sehari, seperti yang dilaporkan sebelum ini oleh AI Buzz Wire.
Kedua-dua dokumen itu dibaca hampir sebagai jawapan antara satu sama lain. Pengisytiharan ahli matematik memberi amaran supaya tidak menganggap masalah yang mendalam sebagai trofi penanda aras; pengumuman institut itu, sambil menerima keputusan itu, membingkaikan dengan jelas momen di sekitar pemahaman dan bukannya kemenangan, dengan harapan untuk melihat "gelombang pemahaman manusia baharu dilepaskan apabila inovasi di sebalik kerja ini dianalisis dan disoal siasat."
Malah akaun institut itu sendiri tentang bidang sekeliling mengakui peralihan itu: "Keupayaan teknologi baharu yang semakin meningkat untuk mempercepatkan penyelidikan matematik telah meningkatkan rasa jangkaan ini," kata kenyataan itu, mengiktiraf kejayaan baru-baru ini di kawasan bersebelahan - beberapa diiktiraf oleh Anugerah Penyelidikan Tanah Liat - dengan meningkatkan harapan bahawa Navier-Stokes mungkin akan jatuh tidak lama lagi.
Apa Yang Akan Datang
Buat masa ini, pengambilan praktikal adalah sempit tetapi nyata: institut yang memiliki masalah itu telah mencatatkan rekod bahawa ia menganggap masalah itu nampaknya telah selesai, dan telah komited kepada kemas kini awam semasa penilaiannya diteruskan. Sekiranya kerja itu bertahan dalam penelitian, ia akan menjadi Masalah Milenium kedua yang diselesaikan, yang pertama dalam dua dekad - dan yang pertama dalam sejarah sebahagiannya boleh dikreditkan kepada sistem AI, satu perbezaan yang akan membentuk cara institusi matematik mengendalikan tuntutan sedemikian seterusnya.
Pihak institut telah meminta kesabaran. Memandangkan proses itu, secara reka bentuk, sengaja tidak tergesa-gesa, soalan komuniti — tentang bukti, kredit, dan peranan mesin yang menghasilkannya — akan dijawab pada garis masa institut, bukan kitaran berita.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
