Navier-Stokes: OpenAI zegt het probleem in 88 uur te hebben opgelost

OpenAI beweert een „oplossing” te hebben geproduceerd voor het Navier-Stokes-millenniumprijsprobleem, dankzij een groep van ongeveer 10.000 gecoördineerde AI-agenten die 88 uur lang hebben gewerkt. Het bedrijf schrijft de totstandkoming van het bewijs toe aan een intern model van de volgende generatie, dat wordt omschreven als „aanzienlijk capabeler dan GPT-6 Astra”.

De reikwijdte hiervan moet duidelijk worden afgebakend: OpenAI kondigt een oplossing aan en beschrijft een onderzoeksopzet, maar publiceert in deze post geen volledig bewijs, collegiale toetsing of onafhankelijke validatie.

Hieronder staat de post waarin OpenAI deze officiële claim formuleert.

De aankondiging is spectaculair, maar het debat draait nu al niet meer uitsluitend om de prestaties van een zwerm agenten. In de reacties zijn drie vragen nauw met elkaar verweven: de geldigheid van een mogelijk Navier-Stokes-bewijs, het intellectuele auteurschap van de gebruikte ideeën en de voorwaarden voor toegang tot een onderzoekssysteem dat gesloten is gebleven.

Wat OpenAI beweert, en wat het niet beweert

In zijn bericht zegt OpenAI een „oplossing” voor het Navier-Stokes-probleem te delen. Het laboratorium wijst erop dat dit probleem betrekking heeft op de mogelijkheid dat een gladde beschrijving van een driedimensionale vloeistofbeweging kan „instorten”, dat wil zeggen haar regulariteit kan verliezen. Het benadrukt ook dat deze vraag al ongeveer 90 jaar openstaat.

De centrale technische formulering is expliciet over de geclaimde architectuur:

"Het bewijs is geproduceerd door een groep agenten die gebruikmaakte van een OpenAI-model van de volgende generatie dat aanzienlijk capabeler is dan GPT-6 Astra." @OpenAI

Verderop in de publicatie geeft OpenAI de cijfers die de aankondiging vormgeven:

"Onze interne modelgroep kwam in 88 uur tot de oplossing voor Navier-Stokes, met behulp van ongeveer 10.000 samenwerkende AI-agenten." @OpenAI

Het laboratorium geeft ook aan waarborgen voor monitoring en isolatie te hebben toegepast die vergelijkbaar zijn met de waarborgen die worden gebruikt bij zijn evaluaties van frontiermodellen. Deze toelichting zegt iets over het operationele kader waarop OpenAI aanspraak maakt, maar niet over de wiskundige inhoud van het bewijs.

Het essentiële punt is dus het volgende: OpenAI claimt een oplossing die door zijn interne systeem is geproduceerd, en niet een onafhankelijke validatie van die oplossing. De kloof tussen deze twee stappen is aanzienlijk. Een bewijs voor een millenniumprijsprobleem moet worden gelezen, getest, onderworpen aan pogingen om de lemma’s ervan te weerleggen, door specialisten worden beoordeeld en vervolgens mogelijk worden getoetst aan de criteria van het Clay Mathematics Institute.

Geforceerde en ongeforceerde Navier-Stokes: de nuance die allesbepalend is

Eén technisch onderscheid verandert de werkelijke reikwijdte van de aankondiging. Het millenniumprijsprobleem heeft betrekking op de ongeforceerde Navier-Stokes-vergelijkingen, zonder een opgelegde externe krachtterm. Het onderzoek rond deze aankondiging, waaronder dat van Tristan Buckmaster en Levent Alpöge, betreft geforceerde varianten, waarbij een gladde externe kracht aan de vergelijking wordt toegevoegd.

Volgens de verslagen die sinds de aankondiging zijn verschenen, betreft het aan het interne model van OpenAI toegeschreven resultaat een ongeveer honderd pagina’s lang bewijs van blow-up voor de geforceerde Navier-Stokes-vergelijkingen.

Op dit moment heeft niemand het ongeforceerde probleem bewezen, waarvoor het Clay Mathematics Institute een beloning van één miljoen dollar uitlooft.

Dit is de nuance die een daadwerkelijke wiskundige doorbraak onderscheidt van een opgelost millenniumprobleem. In de berichtgeving in de media verdwijnt die nuance vrijwel systematisch.

De post noemt het gebruikte model niet. Er staat evenmin dat het om „GPT-7” gaat, in tegenstelling tot de interpretatie van @ziwenxu_. OpenAI spreekt alleen over een model van de volgende generatie dat aanzienlijk capabeler is dan GPT-6 Astra. Dat komt niet neer op de aankondiging van een genummerde versie.

Het bericht licht ook de precieze rol van de gecoördineerde AI-agenten niet toe. Hebben ze vermoedens gegenereerd, de literatuur onderzocht, lemma’s voorgesteld, het bewijs opgesteld, een computerformalisering uitgevoerd, logische afhankelijkheden gecontroleerd of al deze functies gecombineerd? De thread vermeldt dat niet.

Het Navier-Stokes-probleem: vóór OpenAI een gerucht en een prioriteitsconflict

De officiële aankondiging is niet het beginpunt van dit verhaal. Enkele uren eerder publiceerde Mark Kretschmann (@mark_k) een gerucht dat OpenAI Navier-Stokes mogelijk had opgelost en dat een aankondiging ophanden was. In zijn bericht verwees hij, toen hem naar zijn bron werd gevraagd, naar een openbare verklaring van Tristan Buckmaster.

Hieronder staat de eerdere post, die door @calebcterry in de thread van OpenAI werd aangehaald.

Deze eerste thread gaat nog niet over de 88 uur, de 10.000 agenten of het interne model van OpenAI. Hij wordt beheerst door een andere onzekerheid: wie zou het probleem daadwerkelijk hebben opgelost, en in welke volgorde?

@TimTeaFan wijst op een concurrerend gerucht rond Anthropic en zijn systeem Fable:

"Waren er geen geruchten dat Anthropic het met Fable had opgelost?" @TimTeaFan

Het antwoord van @mark_k biedt geen uitsluitsel:

"Er is momenteel enige onenigheid of ophef gaande." @mark_k

Op een vergelijkbare vraag over de identiteit van de auteur of auteurs van de oplossing voegt hij eraan toe:

"Momenteel is het enigszins onduidelijk wie het precies heeft opgelost. Misschien allebei gezamenlijk." @mark_k

Het verschil tussen de twee discussies vormt de kern van het nieuws. Vóór de aankondiging van OpenAI draaide het debat om een gerucht, Anthropic, de prioriteit en de identiteit van de betrokken personen of laboratoria. Na deze aankondiging maakt OpenAI van het gerucht een gekwantificeerde en technische institutionele claim, zonder antwoord te geven op de vragen over auteurschap en herkomst waarop de discussie van @mark_k al wees.

De aankondiging stelt dus één specifiek punt vast: OpenAI is in dit stadium de enige partij die een gedetailleerde officiële claim formuleert. Op zichzelf beslecht die de kwestie van de wetenschappelijke prioriteit niet.

Navier-Stokes, het probleem achter de slogan

De Navier-Stokes-vergelijkingen zijn fundamenteel binnen de vloeistofmechanica. Ze beschrijven de ontwikkeling van een fluïdum, zoals lucht, water of een gas, door verschillende grootheden met elkaar in verband te brengen:

de snelheid van het fluïdum, weergegeven door een veld dat varieert in ruimte en tijd;
de druk, die de beweging begrenst en herverdeelt;
de viscositeit, oftewel de interne wrijving van het fluïdum;
de externe krachten, zoals de zwaartekracht of andere uitgeoefende krachten;
de incompressibiliteitsvoorwaarde, in het klassieke geval van een incompressibel fluïdum.

In een vereenvoudigde notatie wordt de impulsvergelijking als volgt uitgedrukt:

[ \partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u + f ]

Hier staat (u) voor de snelheid, (p) voor de druk, (\nu) voor de viscositeit en (f) voor de externe krachten. Voor een incompressibel fluïdum wordt doorgaans de voorwaarde (\nabla \cdot u = 0) toegevoegd.

Deze paar symbolen vatten een uiterst complexe dynamiek samen. De niet-lineaire term ((u \cdot \nabla)u) drukt uit dat het fluïdum zijn eigen snelheid meevoert. Dit is een van de belangrijkste oorzaken van de moeilijkheid: bewegingen op de ene schaal kunnen die op andere schalen voeden, vervormen en versterken.

De echte vraag in drie dimensies: globale regulariteit of singulariteit?

Het millenniumprobleem vraagt niet simpelweg of een stroming kan worden gesimuleerd. Het stelt een vraag over globale regulariteit in drie dimensies.

Kan op basis van voldoende gladde begingegevens worden bewezen dat de oplossing voor alle tijden glad blijft? Of kan er binnen eindige tijd een singulariteit ontstaan, een verschijnsel dat vaak blow-up wordt genoemd?

Een singulariteit betekent niet noodzakelijk dat een echt fluïdum fysiek „ontploft”. In de wiskundige analyse betekent dit dat bepaalde grootheden die met de oplossing samenhangen, niet langer beheersbaar zijn binnen het vereiste regulariteitskader. De afgeleiden van de snelheid kunnen bijvoorbeeld oneindig worden of de eigenschappen verliezen die nodig zijn om een gladde oplossing voort te zetten.

De moeilijkheid kan als volgt worden samengevat:

De begingegevens zijn regulier.
De viscositeit heeft de neiging kleine structuren af te zwakken en energie te dissiperen.
Maar de niet-lineariteit kan de activiteit op steeds kleinere schalen concentreren.
Er moet worden bewezen dat de dissipatie altijd de overhand heeft, of er moet een geval worden geconstrueerd waarin zij niet volstaat.

Het is deze globale beheersing van de wisselwerking tussen niet-lineaire concentratie en viskeuze dissipatie die al bijna negen decennia ongrijpbaar blijft.

Waarom bieden zulke compacte vergelijkingen al zo lang weerstand?

De vergelijkingen zijn kort. Turbulentie is dat niet.

In een turbulente stroming dragen grootschalige structuren energie over aan kleinere structuren. Wervelingen werken op elkaar in, vervormen, vallen uiteen en combineren opnieuw. Deze schaalcascade maakt analytische schattingen bijzonder lastig.

Wiskundigen beschikken al over fundamentele resultaten. Zo kunnen zij in algemene kaders zwakke oplossingen construeren en sterkere resultaten verkrijgen in bepaalde dimensies, voor bepaalde regimes of gedurende beperkte tijdsintervallen. Maar het open probleem betreft de universele garantie van gladde regulariteit in drie dimensies, uitgaande van gladde begingegevens.

Daarom zou een eventuele oplossing van groot belang zijn. Die zou er niet simpelweg uit bestaan een simulatie „beter te hebben berekend”, maar een fundamentele vraag over het mogelijke gedrag van deze vergelijkingen definitief te hebben beantwoord.

Navier-Stokes-millenniumprijs: wat voor validatie vereist zou zijn

Een aankondiging, zelfs een officiële, volstaat niet om een probleem van de Millenniumprijs formeel op te lossen. Het bewijs zou in een voldoende volledige vorm toegankelijk moeten worden gemaakt, zodat onafhankelijke deskundigen het grondig kunnen onderzoeken.

Dit houdt met name het volgende in:

publicatie van de volledige tekst van het bewijs en de bijbehorende aannames;
de mogelijkheid om elk lemma, elke schatting en elke logische afhankelijkheid te verifiëren;
kritische beoordeling door specialisten in partiële differentiaalvergelijkingen en harmonische analyse;
beantwoording van eventuele bezwaren die tijdens deze beoordeling worden geuit;
voldoende tijd om vast te stellen dat het resultaat door de wiskundige gemeenschap wordt aanvaard.

Het Clay Mathematics Institute hanteert zijn eigen criteria om een oplossing voor een van zijn millenniumproblemen officieel te erkennen. Een bewijs moet met name in een gekwalificeerde publicatie worden gepubliceerd, algemeen worden aanvaard binnen de betrokken gemeenschap en vervolgens een beoordelingsperiode doorstaan.

Op dit moment levert het bericht van OpenAI geen gepubliceerd bewijs, geen peerreview en geen onafhankelijke validatie. Het kondigt een geclaimd resultaat aan waarvan de wiskundige erkenning nog volledig moet worden vastgesteld.

Een correct bewijs zou geen perfecte weersvoorspelling opleveren

Een van de meest intuïtieve, maar misleidende reacties bestaat erin Navier-Stokes rechtstreeks te koppelen aan een exacte weersvoorspelling.

"Eindelijk zal ik zeker weten of het morgen in Londen gaat regenen of niet" @ChShersh

Die conclusie volgt niet uit de aankondiging. Het oplossen van het theoretische regulariteitsprobleem zou niet plotseling perfecte weersvoorspellingen opleveren.

Atmosferische voorspellingen zijn onder meer afhankelijk van:

onvolledige en door ruis verstoorde beginmetingen;
gekoppelde modellen waarin vochtigheid, wolken, straling en interacties tussen de bodem en de atmosfeer zijn opgenomen;
fysische parametrisering;
numerieke berekeningen die noodzakelijkerwijs discreet zijn;
de voor chaotische systemen kenmerkende gevoeligheid voor beginvoorwaarden.

Een bewijs van regulariteit zou, als het werd geleverd, de wiskundige structuur van de vergelijkingen verduidelijken. Dat zou van grote betekenis zijn. Maar het zou noch de meetonzekerheden, noch de modelleringsfouten, noch de operationele beperkingen van berekeningen wegnemen.

Evenmin zou het de luchtvaarttechniek, scheepsbouw of energietechniek onmiddellijk transformeren. In deze vakgebieden worden de Navier-Stokes-vergelijkingen al gebruikt onder specifieke aannames, met simulaties, turbulentiemodellen en experimentele kalibraties. Een theoretische doorbraak kan de hulpmiddelen op lange termijn verrijken, maar wordt niet automatisch een industrieel product.

Wetenschappelijke erkenning, de blinde vlek van het hoofdbericht

De meest gestructureerde reactie onder de aankondiging betwist niet alleen de rol van AI. Ze heeft ook betrekking op de zichtbaarheid die wordt gegeven aan de menselijke onderzoekers die mogelijk aan de basis staan van doorslaggevende elementen.

@Quasilocal formuleert het bezwaar rechtstreeks:

"Oké, maar zouden jullie Tristan Buckmaster en Levent Alpöge niet willen noemen in de eigenlijke tweet waarin jullie de eer opeisen, in plaats van in een aparte quote-tweet waar vanuit deze tweet niet naar wordt gelinkt?" @Quasilocal

De kritiek is specifiek. Ze heeft niet alleen betrekking op de veronderstelde vermelding elders. Ze richt zich op het ontbreken van Tristan Buckmaster en Levent Alpöge in het bericht waarin het resultaat publiekelijk wordt geclaimd.

OpenAI heeft in de thread niet publiekelijk op deze opmerking gereageerd. @calebcterry zet deze roep om erkenning echter voort door het resultaat in een langere wiskundige ontwikkelingsgeschiedenis te plaatsen:

"Na hier meer onderzoek naar te hebben gedaan, denk ik dat de menselijke bijdrage ook het vermelden waard is. Voor zover ik het begrijp, is dit voortgekomen uit jarenlang werk van Diego Córdoba en Luis Martínez-Zoroa aan de ontwikkeling van de onderliggende aanpak, waarna Tristan Buckmaster en Levent Alpöge LLM's gebruikten om dat onderzoek veel verder te brengen en uiteindelijk het resultaat te formaliseren en te verifiëren." @calebcterry

Deze bewering moet worden gelezen voor wat ze is: een interpretatie die door @calebcterry in de thread wordt gegeven, en niet een definitief vastgestelde verdeling van de bijdragen op basis van een hier weergegeven academische publicatie. Ze roept niettemin de juiste vraag op: waaraan moet erkenning worden gegeven wanneer een systeem van agents een bewijs produceert op basis van reeds bestaande benaderingen, intuïties, formuleringen en onderzoek?

@X_is_Arbitrary trekt daaruit een scherpere conclusie:

"Dit getuigt van behoorlijk wat lef. Als wat de wiskundigen beweren waar is, versterkt dit alleen maar de bewering dat AI niet in staat is tot nieuwe ideeën. Er waren twee briljante wiskundigen nodig om haar te vertellen hoe ze het probleem moest oplossen." @X_is_Arbitrary

Deze lezing wordt niet gestaafd door de beschikbare openbare informatie. Op basis van de thread is het onmogelijk om de uitvinding precies toe te schrijven aan Diego Córdoba, Luis Martínez-Zoroa, Buckmaster, Alpöge, de LLM-tools die deze onderzoekers hebben ingezet en de agents van OpenAI. Maar de continuïteit tussen eerder menselijk onderzoek en het door de agents geclaimde resultaat vormt een centrale kwestie, en niet slechts een communicatief detail.

De hoofdpost van OpenAI vermeldt geen enkele menselijke onderzoeker bij naam, terwijl in de reacties juist van deze afwezigheid het belangrijkste publieke twistpunt wordt gemaakt.

Codex-sessies: een ernstige, niet-bewezen beschuldiging

De controverse neemt een ernstigere wending door vragen over mogelijke Codex-sessies die verband houden met de onderzoekers.

@Mmorgan_ML vraagt:

"Hebben jullie de Codex-sessies van Buckmaster & Alpöge nu wel of niet gebruikt voor training?" @Mmorgan_ML

@melqartvantyrus stelt in wezen dezelfde vraag. @ArtemR gaat verder door de beschuldiging van mogelijke diefstal van onderzoek te verspreiden:

"Maar heeft OpenAI valsgespeeld door het onderzoek te stelen?" @ArtemR

Het is essentieel om feiten van vermoedens te onderscheiden. Deze berichten tonen aan dat de beschuldiging circuleert. Ze bewijzen niet dat Codex-sessies, notities, privégegevens of werk van Buckmaster en Alpöge door OpenAI op ongeoorloofde wijze zijn gebruikt.

In de weergegeven uitwisselingen staat geen antwoord van OpenAI, geen technische toelichting over de relevante trainingsgegevens en geen enkel bevestigend bewijs. Ook de inhoud van het externe artikel waarnaar @ArtemR verwijst, is niet opgenomen.

Op dit moment is de hypothese dat Codex-sessies ongeoorloofd zijn gebruikt een onbevestigde beschuldiging. De vraag naar de herkomst van de gegevens en het onderzoek verdient echter een feitelijk, openbaar en verifieerbaar antwoord.

Deze kwestie staat los van, maar houdt wel verband met, de kritiek op het gesloten karakter van het systeem. Zelfs als er geen bewezen wangedrag met betrekking tot de gegevens is, creëert een laboratorium dat beschikt over een intern model dat krachtiger is dan de openbare tools een aanzienlijke asymmetrie in het onderzoek.

Wat deze aankondiging zegt over de stand van de techniek

Het meest vernieuwende element van de aankondiging OpenAI Navier-Stokes is niet alleen het woord ‘oplossing’. Het is de geclaimde opzet: ongeveer 10.000 gecoördineerde AI-agents, gedurende 88 uur, rond een intern model van OpenAI dat als capabeler dan GPT-6 Astra wordt gepresenteerd.

Deze configuratie wijst op een mogelijke omslag in de organisatie van wiskundig onderzoek. In plaats van één geïsoleerde conversationele assistent beschrijft OpenAI een collectief systeem dat taken zou kunnen verdelen over deelproblemen, verificaties, bewijspogingen, het zoeken naar tegenvoorbeelden en syntheses.

Maar de industrialisering van ontdekkingen roept een governancevraag op. @CircumjovialLLC formuleert die zonder omwegen:

"Het is niet oké om privémodellen die zijn getraind op het wiskundige corpus van de mensheid te gebruiken om open problemen op te lossen, wanneer die modellen veel capabeler zijn dan wat jullie hebben uitgebracht en niet toegankelijk zijn voor alle onderzoekers. Dit is technologisch feodalisme, dat leidt tot intellectuele tirannie." @CircumjovialLLC

Geen enkel antwoord van OpenAI gaat vooralsnog in op de publicatie van het model, de gewichten ervan, de rekenkosten, de energetische voetafdruk of eventuele academische toegang. @Adamlags vraagt expliciet naar de kosten van het experiment, terwijl @alono88 met humor vraagt naar de kosten in tokens. Deze vragen blijven onbeantwoord.

De kritiek op de gesloten toegang bewijst dus geen wangedrag. Ze legt een structureel probleem bloot: hoe kan de gemeenschap een ontdekking reproduceren, auditen of betwisten als die tot stand is gekomen met een model en infrastructuur waartoe zij geen toegang heeft?

Wat we moeten onthouden en wat nog moet worden vastgesteld

De aankondiging van OpenAI is mogelijk historisch. Het laboratorium claimt een oplossing voor het Navier-Stokes-probleem die in 88 uur is verkregen door ongeveer 10.000 gecoördineerde AI-agents, met een intern model dat als krachtiger dan GPT-6 Astra wordt gepresenteerd. Dit is een gedetailleerde officiële claim, terwijl de eerdere thread van @mark_k slechts melding maakte van een gerucht en verwarring over de mogelijke auteurs.

Maar verschillende cruciale vragen blijven open:

Waar is de volledige tekst van het Navier-Stokes-bewijs te vinden?
Welke onafhankelijke experts hebben het beoordeeld?
Voldoet het exact aan de criteria van het Millennium Prize Problem?
Welke precieze rol hebben de agents gespeeld: uitvinding, verkenning, redactie, formalisering of verificatie?
Hoe zal OpenAI de bijdragen van Córdoba, Martínez-Zoroa, Buckmaster, Alpöge en eventuele andere onderzoekers erkennen?
Welke gegevens en materialen zijn gebruikt om het interne model te trainen of te sturen?
Zullen de vragen over de Codex-sessies een openbaar, technisch en verifieerbaar antwoord krijgen?
Welke toegang zal de wetenschappelijke gemeenschap krijgen tot de resultaten, methoden en rekenvoorwaarden?

De werkelijke breuklijn loopt niet simpelweg tussen mensen en AI-agents. Ze loopt tussen een spectaculaire claim en de wetenschappelijke eisen van verificatie, reproduceerbaarheid en eerlijke erkenning. OpenAI heeft cijfers verstrekt en een methode beschreven. De thread herinnert ons aan alles waarover deze cijfers nog geen uitsluitsel geven.

88 uur, 10.000 agents: OpenAI zegt Navier-Stokes te hebben opgelost, maar het loopt nu al uit de hand