Het Clay Mathematics Institute heeft voor het eerst publiekelijk erkend dat het bestaans- en gladheidsprobleem van Navier-Stokes – een van de zeven millenniumprijsproblemen – ‘blijkbaar is opgelost’. De verklaring, die vrijdag op de website van het instituut is gepubliceerd, verplaatst een van de meest omstreden verhalen over AI en wiskunde van het jaar naar het formele prijsevaluatieproces van het instituut, terwijl even duidelijk wordt gemaakt dat er geen prijs is toegekend en geen enkel bewijs is onderschreven.
"Vandaag deelt CMI de opwinding van de mondiale wiskundige gemeenschap terwijl we nadenken over de aankondiging dat het Navier-Stokes-probleem blijkbaar is opgelost", schreef het instituut in de aankondiging, gedateerd 11 september 2026. "We hopen dat er golven van nieuw menselijk begrip worden ontketend terwijl de innovaties achter dit werk worden geanalyseerd en ondervraagd." Voor meer context over dit verhaal, zie ons AI-nieuws.
Waarom de verklaring ertoe doet
De afgemeten taal van het instituut doet veel werk, en elk woord werd binnen enkele uren ontleed op Hacker News, waar de aankondiging meer dan 100 punten verzamelde. What the statement does not say is as significant as what it does: the Clay Mathematics Institute does not name OpenAI, does not confirm that any specific proof is correct, and does not trigger a prize award.
De context verklaart de terughoudendheid. Op 8 september publiceerde OpenAI een geclaimde oplossing voor het Navier-Stokes-probleem, waarin stond dat een intern AI-systeem – door het bedrijf beschreven als aanzienlijk capabeler dan zijn GPT-6 Astra-model – zowel een analytisch bewijs als een formele verificatie had opgeleverd in de Lean proof-assistent. De aankondiging ging onmiddellijk zowel over krediet als over berekeningen, omdat twee academische wiskundigen dezelfde dag nauw verwante artikelen publiceerden, en onderzoekers druk uitoefenden op OpenAI op wier werk het resultaat van de machine had bepaald.
Nu het instituut erkent dat het probleem ‘blijkbaar is opgelost’, verschuift het geschil van terrein: van pingpong met persberichten naar de evaluatieprocedure voor de Millenniumprijs, die het instituut omschrijft als ‘opzettelijk ongehaast’.
Wat het Navier-Stokes-probleem vraagt
Het probleem betreft het bestaan en de soepelheid van oplossingen voor de Navier-Stokes-vergelijkingen in de driedimensionale Euclidische ruimte – de vergelijkingen die beschrijven hoe vloeistoffen zoals water en lucht bewegen. Hoewel deze vergelijkingen dagelijks worden gebruikt door ingenieurs, meteorologen en aerodynamici, hebben wiskundigen nooit bewezen dat soepele, fysiek redelijke oplossingen altijd in drie dimensies bestaan, of dat ze zich voorspelbaar gedragen in plaats van singulariteiten te ontwikkelen.
Het Clay Mathematics Institute onthulde de Millennium Prize Problems tijdens een bijeenkomst in Parijs in 2000, waarbij een prijs van $ 1 miljoen werd toegekend aan elk van de zeven problemen, waartoe ook de Riemann-hypothese en P versus NP behoren. In zijn verklaring van vrijdag herhaalde het instituut zijn oorspronkelijke grondgedachte: het publieke bewustzijn vergroten dat de wiskundige grens open is, en “prestaties in de wiskunde van historische omvang” erkennen.
Only one of the seven problems, the Poincaré Conjecture, has been resolved — by Grigori Perelman in work posted in 2002 and 2003, for which he famously declined both the Fields Medal and the prize money.
Een 'opzettelijk ongehaaste' evaluatie in het vooruitzicht
De aankondiging van het instituut wijst op de prijsregels als het bepalende kader voor wat er daarna gebeurt. “De regels voor de prijzen beschrijven het proces voor het evalueren van wat er is bereikt en voor het toekennen van krediet”, luidt de verklaring. “Het proces is bewust niet gehaast, maar we zullen updates geven.”
Die formulering laat verschillende vragen open waarover de wiskundige gemeenschap nu openlijk debatteert. Verification is the first hurdle: a proof of Navier-Stokes smoothness would ordinarily take a committee of experts many months to check line by line. De bewering van OpenAI dat het resultaat een machinaal gecontroleerde formalisering in Lean omvat, zou die tijdlijn in principe dramatisch kunnen comprimeren, aangezien formele verificatie de kwestie van juistheid reduceert tot wat een proefassistent zal accepteren. Maar het instituut heeft niet gezegd of een dergelijke formalisering aan het instituut is voorgelegd, wie de scheidsrechters zijn, of hoe de eer zal worden verdeeld tussen het AI-systeem, de makers ervan bij OpenAI, en de academische wiskundigen wier gerelateerde artikelen dezelfde week verschenen.
De verklaring gaat ook niet in op de vraag of een oplossing die voor een belangrijk deel aan een AI-systeem kan worden toegeschreven, in aanmerking komt voor een prijs die, in de oorspronkelijke taal van het instituut, bedoeld is om menselijke wiskundige prestaties te erkennen – een vraag zonder precedent in de 26-jarige geschiedenis van de prijs.
De spanning achter de aankondiging
De aankondiging komt op een buitengewoon delicaat moment op het snijvlak van AI en wiskunde. Vrijdag publiceerde een groep van 25 Fields-medaillewinnaars, waaronder Terence Tao, een formele verklaring waarin werd gewaarschuwd dat de race om AI-systemen op wiskundige benchmarks te presenteren schadelijk is voor zowel de wetenschap als de gemeenschap die deze ondersteunt – een verklaring die binnen een dag meer dan 1.300 extra ondersteuners heeft opgeleverd, zoals eerder gerapporteerd door AI Buzz Wire.
De twee documenten lezen bijna als antwoorden op elkaar. De verklaring van de wiskundigen waarschuwt ervoor om diepgaande problemen niet als benchmarktrofeeën te behandelen; De aankondiging van het instituut omarmt weliswaar het resultaat, maar kadert het moment nadrukkelijk rond begrip in plaats van overwinning, in de hoop dat er "golven van nieuw menselijk begrip worden ontketend terwijl de innovaties achter dit werk worden geanalyseerd en ondervraagd."
Zelfs het eigen verslag van het instituut over het omliggende veld erkent deze verschuiving: "Het toenemende vermogen van nieuwe technologieën om wiskundig onderzoek te versnellen heeft dit gevoel van anticipatie vergroot", merkt de verklaring op, waarbij recente doorbraken in aangrenzende gebieden - waarvan sommige worden erkend door de Clay Research Award - de hoop wekken dat Navier-Stokes binnenkort zou kunnen vallen.
What Comes Next
Voorlopig is de praktische conclusie beperkt maar reëel: het instituut dat eigenaar is van het probleem heeft verklaard dat het het probleem als schijnbaar opgelost beschouwt, en heeft zich ertoe verbonden om openbare updates te geven naarmate de evaluatie vordert. Als het werk de kritische blik overleeft, zou het het tweede millenniumprobleem zijn dat is opgelost, het eerste in twintig jaar – en het eerste in de geschiedenis dat gedeeltelijk te danken is aan een AI-systeem, een onderscheid dat bepalend zal zijn voor de manier waarop wiskundige instellingen met de volgende dergelijke claim omgaan.
Het instituut heeft om geduld gevraagd. Omdat het proces bewust niet gehaast is, zullen de vragen van de gemeenschap – over het bewijs, de geloofwaardigheid en de rol van de machine die het heeft geproduceerd – worden beantwoord op de tijdlijn van het instituut, en niet op die van de nieuwscyclus.
---
Blijf Voorop met AIHet laatste AI-nieuws, analyses en doorbraken — allemaal op één plek.
Lees meer AI-nieuws →
