Clay Mathematics Institute har för första gången offentligt erkänt att Navier-Stokes existens- och smidighetsproblem - ett av de sju Millennium Prize-problemen - "uppenbarligen har lösts." Uttalandet, som publicerades på institutets hemsida i fredags, flyttar en av årets mest omtvistade AI- och matematikhistorier in i institutets formella prisutvärderingsprocess, samtidigt som det gör lika tydligt att inget pris har delats ut och inget bevis godkänts.

"I dag delar CMI spänningen hos det globala matematiska samfundet när vi överväger tillkännagivandet att Navier-Stokes-problemet uppenbarligen har lösts", skrev institutet i tillkännagivandet, daterat den 11 september 2026. "Vi hoppas få se vågor av ny mänsklig förståelse släppas lös när innovationerna bakom detta arbete analyseras." For more context on this story, see our ongoing breaking AI news.

Varför uttalandet är viktigt

Institutets uppmätta språk gör mycket arbete, och varje ord analyserades inom några timmar på Hacker News, där tillkännagivandet samlade mer än 100 poäng. Vad uttalandet inte säger är lika viktigt som vad det gör: Clay Mathematics Institute namnger inte OpenAI, bekräftar inte att något specifikt bevis är korrekt och utlöser inte en prisutdelning.

Sammanhanget förklarar återhållsamheten. Den 8 september publicerade OpenAI en påstådd lösning på Navier-Stokes-problemet, där det stod att ett internt AI-system – som beskrivs av företaget som betydligt mer kapabelt än dess GPT-6 Astra-modell – hade producerat både ett analytiskt bevis och en formell verifiering i Lean proof-assistenten. Tillkännagivandet handlade omedelbart lika mycket om kredit som om beräkning, eftersom två akademiska matematiker släppte närbesläktade artiklar samma dag, och forskare tryckte på OpenAI vars arbete hade informerat maskinens resultat.

När institutet nu erkänner att problemet "uppenbarligen har lösts" ändrar tvisten terräng: från pressmeddelandepingis till förfarandet för utvärdering av Millenniumpriset, som institutet beskriver som "avsiktligt obehagligt".

Vad Navier-Stokes-problemet frågar om

Problemet gäller existensen och smidigheten av lösningar på Navier-Stokes ekvationer i det tredimensionella euklidiska rummet - ekvationerna som beskriver hur vätskor som vatten och luft rör sig. Även om dessa ekvationer används dagligen av ingenjörer, meteorologer och aerodynamiker, har matematiker aldrig bevisat att smidiga, fysiskt rimliga lösningar alltid finns i tre dimensioner, eller att de beter sig förutsägbart snarare än att utveckla singulariteter.

Clay Mathematics Institute avslöjade Millennium Prize Problems vid ett möte i Paris 2000, och bifogade ett pris på 1 miljon dollar till vart och ett av de sju problemen, som även inkluderar Riemann-hypotesen och P kontra NP. I sitt fredagsuttalande upprepade institutet sin ursprungliga motivering: att höja allmänhetens medvetenhet om att den matematiska gränsen är öppen, och att erkänna "prestationer inom matematik av historisk omfattning."

Endast ett av de sju problemen, Poincaré-förmodan, har lösts — av Grigori Perelman i arbete som publicerades 2002 och 2003, för vilket han berömt tackade nej till både Fields-medaljen och prispengarna.

En "medvetet lugn" utvärdering framåt

Institutets tillkännagivande pekar på prisreglerna som det styrande ramverket för vad som händer härnäst. "Reglerna som styr priserna beskriver processen för att utvärdera vad som har uppnåtts och för att tilldela kredit", står det i uttalandet. "Processen är medvetet lätt, men vi kommer att ge uppdateringar."

Den fraseringen lämnar flera frågor öppna som den matematiska gemenskapen nu öppet debatterar. Verifiering är det första hindret: ett bevis på Navier-Stokes smidighet skulle vanligtvis ta en expertkommitté många månader att kontrollera rad för rad. OpenAI:s påstående att dess resultat inkluderar en maskinkontrollerad formalisering i Lean skulle i princip kunna komprimera den tidslinjen dramatiskt, eftersom formell verifiering reducerar frågan om korrekthet till vad en korrekturassistent kommer att acceptera. Men institutet har inte sagt om en sådan formalisering har lämnats in till det, vilka domarna är eller hur krediten kommer att fördelas mellan AI-systemet, dess skapare på OpenAI och de akademiska matematiker vars relaterade uppsatser publicerades samma vecka.

Uttalandet tar inte heller upp huruvida en lösning som till stor del kan hänföras till ett AI-system kvalificerar sig för ett pris avsett, på institutets grundspråk, för att erkänna mänskliga matematiska prestationer – en fråga som saknar motstycke i prisets 26-åriga historia.

Spänningen bakom tillkännagivandet

Tillkännagivandet landar i ett utomordentligt känsligt ögonblick för skärningspunkten mellan AI och matematik. På fredagen publicerade en grupp av 25 Fields-medaljörer, inklusive Terence Tao, en formell deklaration som varnar för att kapplöpningen att visa upp AI-system på matematiska riktmärken skadar både vetenskapen och samhället som upprätthåller det - ett uttalande som samlade mer än 1 300 ytterligare stödjare inom en dag, som tidigare rapporterats av AI Buzz Wire.

De två dokumenten läses nästan som svar på varandra. Matematikernas deklaration varnar för att behandla djupa problem som benchmark-troféer; institutets tillkännagivande, samtidigt som det omfamnar resultatet, ramar in ögonblicket kring förståelse snarare än seger, i hopp om att se "vågor av ny mänsklig förståelse släppas lös när innovationerna bakom detta arbete analyseras och förhörs."

Till och med institutets egen redogörelse för det omgivande fältet erkänner förändringen: "Den ökande förmågan hos nya teknologier att påskynda matematisk forskning har ökat denna känsla av förväntan," noterar uttalandet, och krediterar de senaste genombrotten i angränsande områden - några erkända av Clay Research Award - med att höja förhoppningar om att Navier-Stokes snart kan falla.

Vad kommer härnäst

För närvarande är den praktiska lösningen snäv men verklig: institutet som äger problemet har rapporterat att det anser att problemet uppenbarligen är löst och har förbundit sig till offentliga uppdateringar allt eftersom utvärderingen fortskrider. Om verket överlever granskning skulle det vara det andra millennieproblemet som lösts, det första på två decennier - och det första i historien som delvis kan tillskrivas ett AI-system, en distinktion som kommer att forma hur matematikinstitutioner hanterar nästa sådana anspråk.

Institutet har bett om tålamod. Med tanke på att processen är avsiktligt lugn, kommer samhällets frågor - om beviset, krediten och rollen för maskinen som producerade den - att besvaras på institutets tidslinje, inte nyhetscykelns.

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →