OpenAI’s Navier-Stokes-claim uitgelegd: wat er bekend is en waarom wiskundigen bezwaar maakten

OpenAI’s aankondiging van 8 september was uitzonderlijk: het bedrijf zei vooruitgang te hebben geboekt bij een van de belangrijkste open vragen in de wiskunde. Tegelijk ontstond er direct controverse. Een geclaimd bewijs — ook als er formele verificatie bij hoort — is nog geen resultaat dat onafhankelijk is beoordeeld en door de wiskundige gemeenschap is aanvaard.

Wat OpenAI precies claimde

OpenAI verklaarde dat een niet-uitgebracht intern systeem zowel een analytisch bewijs als een formalisering in Lean had geproduceerd. Volgens het bedrijf laat dat zien dat een aanvankelijk gladde driedimensionale Navier-Stokes-stroming in eindige tijd een singulariteit kan ontwikkelen: een punt waarop de wiskundige beschrijving ontspoort. Bij de poging zouden ongeveer 10.000 agenten gelijktijdig hebben gewerkt. 2

Als het resultaat de toetsing doorstaat én aansluit op de officiële probleemformulering, zou het bestaan-en-gladheidsprobleem negatief worden beantwoord: gladde oplossingen hoeven niet altijd voor onbepaalde tijd glad te blijven. Het Clay Mathematics Institute (CMI) omschrijft het probleem als de vraag naar bestaan en gladheid van Navier-Stokes-oplossingen in driedimensionale Euclidische ruimte. 18

Waarom Navier-Stokes zo belangrijk is

De Navier-Stokes-vergelijkingen beschrijven de beweging van vloeistoffen en gassen. Ze vormen een basis van de wiskundige vloeistofdynamica, maar het algemene gedrag van driedimensionale oplossingen is, ondanks de negentiende-eeuwse oorsprong van de vergelijkingen, nog altijd beperkt begrepen. 30

Het vraagstuk is een van de Millennium Prize Problems: zeven grote wiskundige problemen waarvoor het CMI een prijsregeling heeft ingesteld. De officiële omschrijving vraagt om een bewijs dat gladde, fysisch redelijke oplossingen wereldwijd in de tijd bestaan, of om een alternatief antwoord dat aan de vastgelegde voorwaarden voldoet. 1721

Daarmee is dit meer dan een spectaculaire AI-demonstratie. Een geldig resultaat zou een fundamentele kwestie in de analyse en vloeistofdynamica raken. Juist daarom ligt de lat voor verificatie hoog.

Waarom de claim niet meteen als oplossing gold

Het CMI meldde op 11 september dat het de aankondiging dat het probleem „kennelijk is opgelost” met belangstelling overwoog, maar benadrukte tegelijk dat de beoordeling en toewijzing van credits bewust niet overhaast plaatsvinden. 18

Volgens de prijsregels van het CMI moet een voorgestelde oplossing eerst in een erkend publicatiekanaal verschijnen. Daarna moeten minstens twee jaar verstrijken en moet het resultaat breed zijn geaccepteerd door de mondiale wiskundegemeenschap. 27 Ook moet de oplossing daadwerkelijk voldoen aan de officiële probleemomschrijving. 20

Lean kan controleren of een geformaliseerde keten van uitspraken logisch volgt uit de ingevoerde definities en aannames. Dat is krachtige verificatie, maar het vervangt niet alle beoordeling door vakgenoten. Wiskundigen moeten nog steeds nagaan of de geformaliseerde stelling, de aannames en de vertaling van het informele probleem werkelijk de bedoelde vraag afhandelen.

De nauwkeurigste status is daarom: geclaimd en onder intensief onderzoek, niet algemeen aanvaard en niet gecertificeerd voor de prijs.

Het conflict over prioriteit en naamsvermelding

De aankondiging viel samen met een conflict rond Tristan Buckmaster van New York University en Levent Alpöge, een wiskundige die verbonden is aan Anthropic. Volgens berichtgeving werkten zij aan verwante vragen; Buckmaster zette vraagtekens bij de manier waarop OpenAI ertoe kwam juist dit probleem na te jagen. 953

Buckmaster uitte ook beschuldigingen over de omgang met naamsvermelding en samenwerking. OpenAI verwierp de bredere aantijgingen en stelde dat de eigen onderzoekers en agenten het werk van de twee niet hadden gezien voordat het openbaar was gemaakt. Ook zei het bedrijf dat er geen specifieke gebruikersdata waren geraadpleegd om dit probleem op te lossen. 53

Dit zijn betwiste lezingen van gebeurtenissen, geen vastgestelde feiten. Wel duidelijk is dat een technisch resultaat veranderde in een principiële discussie over wie erkenning krijgt wanneer AI-labs en academische onderzoekers dicht bij dezelfde onderzoeksgrens opereren.

Waarom de vraag over data zo gevoelig lag

Een bijzonder gevoelige kwestie was of werk dat in AI-producten was ingevoerd, de capaciteiten kon hebben beïnvloed die later voor dit onderzoek werden gebruikt. OpenAI zei de specifieke gebruikersdata van de onderzoekers niet te hebben geraadpleegd voor het Navier-Stokes-werk. Het bedrijf voegde er echter aan toe niet volledig te kunnen uitsluiten dat gedeïdentificeerde gegevens uit productgebruik de modellen hadden helpen verbeteren. 59

Dat onderscheid kan technisch relevant zijn, maar laat een belangrijke bestuurs- en vertrouwensvraag open: welke herkomst, toestemming en controleerbaarheid mogen onderzoekers verwachten wanneer zij AI-systemen voor ongepubliceerd werk gebruiken?

Voor onderzoekers is de les praktisch: controleer het databeleid van een product voordat conceptartikelen, vermoedens, code of andere gevoelige onderzoeksmaterialen in een AI-tool worden ingevoerd.

De waarschuwing van Fieldsmedaillewinnaars

Op 11 september publiceerde Terence Tao een verklaring met 25 eerste ondertekenaars, allemaal winnaars van de Fieldsmedaille, onder de titel A Severe Misalignment of AI in Mathematics. 43

De verklaring weerspiegelde de zorg dat bedrijven beroemde onopgeloste problemen als publieke benchmarks of publiciteitswedstrijden kunnen behandelen, in plaats van als gezamenlijk intellectueel werk. Critici vrezen dat snelle aankondigingen, onvolledige toelichting, gebrekkige erkenning en prikkels om anderen vóór te zijn onderzoekers terughoudender maken om vroege ideeën te delen.

De waarschuwing was niet dat AI uit de wiskunde geweerd moet worden. De boodschap was dat de normen die wiskundige vooruitgang mogelijk maken — open toetsing, zorgvuldige uitleg, eerlijke credits en inhoudelijk gesprek — bescherming verdienen naarmate AI-systemen krachtiger worden.

Wat verantwoorde AI-ondersteunde wiskunde vraagt

De controverse wijst op een praktische maatstaf voor buitengewone AI-claims in onderzoek:

• Openbaar controleerbare bewijsstukken: een claim hoort vergezeld te gaan van een degelijk manuscript en, waar mogelijk, een machinecontroleerbare formalisering.
• Onafhankelijke beoordeling: formele verificatie en beoordeling door wiskundige experts hebben verschillende functies; grote claims vereisen beide.
• Heldere naamsvermelding: labs moeten relevant eerder werk, menselijke bijdragen en de grenzen van de rol van het systeem documenteren.
• Herkomst van data: onderzoekers hebben begrijpelijke garanties nodig over de vraag of en hoe hun interacties kunnen bijdragen aan modelverbetering.
• Ruimte voor beraad: een groot probleem oplossen is niet alleen een waar-of-onwaar-uitkomst produceren. Het gaat ook om vaststellen wat precies bewezen is, waarom dat klopt en hoe het resultaat binnen het vakgebied past.

Conclusie

OpenAI’s aankondiging kan een mijlpaal worden voor AI-ondersteund wiskundig onderzoek, maar de zaak was niet afgedaan op de dag van de bekendmaking. Doorslaggevend is of het geclaimde bewijs blijvende, onafhankelijke acceptatie krijgt volgens de normen van de wiskundige gemeenschap en het Clay Mathematics Institute. 1827

De kritiek maakt duidelijk waarom dat proces ertoe doet. Nu AI doordringt in onderzoek met hoge inzet, zal vertrouwen niet alleen afhangen van wat systemen kunnen ontdekken, maar ook van de vraag of die ontdekkingen controleerbaar, uitlegbaar en eerlijk toegeschreven zijn.