The Clay Mathematics Institute wis publicly ngakoni kanggo pisanan sing ana Navier-Stokes lan masalah lancar - salah siji saka pitung Millennium Prize Masalah - "wis ketoke wis dienggoni." Pernyataan kasebut, sing diterbitake ing situs web lembaga kasebut ana, mindhah salah sawijining crita AI-lan-matematika sing paling ditandingi ing taun kasebut menyang proses evaluasi hadiah resmi lembaga kasebut, nalika nerangake kanthi jelas manawa ora ana hadiah sing dianugerahi lan ora ana bukti sing disetujoni.
"Dina iki, CMI enggo bareng ing kasenengan saka masyarakat matématika global nalika kita contemplate woro-woro sing masalah Navier-Stokes ketoke wis dienggoni," wrote institute ing woro-woro, tanggal 11 September 2026. "Muga-muga bisa ndeleng gelombang pemahaman manungsa anyar sing diluncurake nalika analisa lan analisa ing mburi karya iki." For more context on this story, see our ongoing AI news.
Kenapa Pernyataan Penting
Basa sing diukur Institut nindakake akeh pakaryan, lan saben tembung diurai sajrone sawetara jam ing Hacker News, ing ngendi woro-woro kasebut nglumpukake luwih saka 100 poin. Apa sing ora dikandhakake pratelan kasebut minangka penting kaya sing ditindakake: Institut Matematika Clay ora menehi jeneng OpenAI, ora ngonfirmasi manawa ana bukti tartamtu sing bener, lan ora micu penghargaan hadiah.
Konteks nerangake kekangan. Ing tanggal 8 September, OpenAI nerbitake solusi sing diklaim kanggo masalah Navier-Stokes, nyatakake yen sistem AI internal - sing diterangake dening perusahaan minangka luwih bisa tinimbang model GPT-6 Astra - wis ngasilake bukti analitis lan verifikasi resmi ing asisten bukti Lean. Pengumuman kasebut langsung dadi babagan kredit kaya babagan komputasi, amarga loro matematikawan akademisi ngeculake makalah sing ana gandhengane ing dina sing padha, lan peneliti mencet OpenAI sing kerjane wis ngandhani asil mesin kasebut.
Kanthi lembaga saiki ngakoni manawa masalah kasebut "katon wis dirampungake," perselisihan kasebut ngganti medan: saka ping-pong siaran pers menyang prosedur evaluasi Hadiah Milenium, sing diterangake dening lembaga kasebut minangka "sengaja ora cepet-cepet."
Apa Masalah Navier-Stokes Takon
Masalah kasebut ana gegayutan karo orane lan lancar solusi kanggo persamaan Navier-Stokes ing ruang Euclidean telung dimensi - persamaan sing njlèntrèhaké cara cairan kayata banyu lan udhara obah. Senajan persamaan iki digunakake saben dina dening engineers, meteorologists, lan aerodinamis, matématikawan wis tau mbuktekaken sing Gamelan, solusi fisik cukup tansah ana ing telung dimensi, utawa padha tumindak prediksi tinimbang ngembangaken singularities.
Institut Matematika Clay mbukak Masalah Bebungah Milenium ing rapat ing Paris ing taun 2000, nglampirake hadiah $1 yuta kanggo saben pitung masalah, sing uga kalebu Hipotesis Riemann lan P versus NP. Ing pratelan ing dina Jumuah, lembaga kasebut nyatakake alasan asline: kanggo ngunggahake kesadaran umum yen wates matematika mbukak, lan kanggo ngenali "prestasi ing matématika kanthi magnitudo sajarah."
Mung siji saka pitung masalah, Poincaré Conjecture, wis dirampungake - dening Grigori Perelman ing karya sing dikirim ing 2002 lan 2003, amarga dheweke nolak Medali Fields lan hadiah dhuwit.
Evaluasi 'Sengaja Ora Kesusu'
Pengumuman institut kasebut nuduhake aturan hadiah minangka kerangka pangaturan kanggo kedadeyan sabanjure. "Aturan sing ngatur hadiah kasebut nggambarake proses kanggo ngevaluasi apa sing wis digayuh lan menehi kredit," pratelan kasebut diwaca. "Proses kasebut sengaja ora cepet-cepet, nanging kita bakal menehi nganyari."
Ukara kasebut mbukak sawetara pitakon sing saiki didebatake komunitas matematika. Verifikasi minangka rintangan pisanan: bukti kelancaran Navier-Stokes biasane mbutuhake panitia ahli pirang-pirang wulan kanggo mriksa baris demi baris. Pratelan OpenAI manawa asile kalebu formalisasi sing dicenthang mesin ing Lean bisa, ing prinsip, ngompres garis wektu kasebut kanthi dramatis, amarga verifikasi formal nyuda pitakonan babagan apa sing bakal ditampa asisten bukti. Nanging lembaga kasebut durung ujar manawa formalisasi kasebut wis diajukake, sapa sing dadi wasit, utawa kepiye kridit bakal dibagi antarane sistem AI, pencipta ing OpenAI, lan matématikawan akademik sing makalah sing ana gandhengane muncul ing minggu sing padha.
Pranyatan kasebut uga ora nemtokake manawa solusi sing ana gandhengane karo sistem AI cocog kanggo hadiah sing dituju, ing basa pendiri lembaga kasebut, kanggo ngenali prestasi matematika manungsa - pitakonan sing ora ana preseden ing sejarah 26 taun hadiah kasebut.
Ketegangan Konco Pengumuman
Pengumuman kasebut tiba ing wektu sing luar biasa kanggo persimpangan AI lan matematika. Ing dina Jumuah, klompok 25 Fields Medalists kalebu Terence Tao nerbitake peringatan deklarasi resmi yen balapan kanggo nampilake sistem AI ing pathokan matematika ngrusak ilmu pengetahuan lan komunitas sing nyengkuyung - pratelan sing nglumpukake luwih saka 1,300 endorser tambahan sajrone sedina, kaya sing dilaporake sadurunge AI Buzz Wire.
Loro dokumen diwaca meh minangka jawaban kanggo saben liyane. Pranyatan matématikawan warns marang nambani masalah jero minangka piala pathokan; woro-woro institute, nalika ngisinake asil, pointedly pigura wayahe watara pangerten tinimbang kamenangan , wus kanggo ndeleng "ombak pangerten manungsa anyar unleashed minangka inovasi konco karya iki analisa lan interogasi."
Malah akun institute dhewe babagan lapangan ing saubengé ngakoni owah-owahan kasebut: "Kemampuan teknologi anyar sing saya tambah kanggo nyepetake riset matématika wis nambah rasa pangarep-arep iki," pratelan kasebut nyathet, nyatakake terobosan anyar ing wilayah sing cedhak - sawetara sing diakoni dening Clay Research Award - kanthi pangarep-arep supaya Navier-Stokes bakal tiba.
Apa Sabanjure
Saiki, takeaway praktis sempit nanging nyata: lembaga sing duwe masalah kasebut wis nyathet yen nganggep masalah kasebut wis rampung, lan wis setya nganyari umum nalika evaluasi ditindakake. Yen karya kasebut tetep ditliti, iki bakal dadi Masalah Milenium nomer loro sing dirampungake, sing pertama sajrone rong dekade - lan sing pertama ing sejarah bisa dikreditake sebagian menyang sistem AI, prabédan sing bakal mbentuk cara institusi matématika nangani klaim kasebut sabanjure.
Institut wis njaluk sabar. Amarga proses kasebut, kanthi desain, sengaja ora cepet-cepet, pitakonan masyarakat - babagan bukti, kredit, lan peran mesin sing ngasilake - bakal dijawab ing timeline institut, dudu siklus warta.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
