OpenAI beweert het Navier-Stokes Millenniumprobleem te hebben opgelost — en meteen brak de controverse los

OpenAI maakte dinsdag bekend dat zijn AI-agents het Navier-Stokes bestaans- en gladheidsprobleem hebben opgelost — een van de zeven Millenniumprijsproblemen met een beloning van 1 miljoen dollar — maar de claim belandde midden in een storm van beschuldigingen van wangedrag, nog voordat de wiskunde kon worden beoordeeld.\n\n## Belangrijkste punten\n\n- Het Navier-Stokes bestaans- en gladheidsprobleem is een van de zeven Millenniumprijsproblemen, elk met een beloning van 1 miljoen dollar van het Clay Mathematics Institute.\n- OpenAI maakte op dinsdag 9 september 2026 bekend dat zijn AI-agents een oplossing voor het probleem hebben geproduceerd, dat het gedrag van vloeistofstroming beschrijft en al ongeveer 90 jaar weerstand biedt aan bewijs.\n- Een wiskundige van NYU beschuldigde OpenAI publiekelijk van „vuil spelen" rond het probleem, aldus TechCrunch — met de bewering dat het gedrag van het bedrijf een carrièrebepalend onderzoekstraject in gevaar bracht.\n- De oplossing is op het moment van publicatie niet onafhankelijk geverifieerd; het Clay Mathematics Institute vereist een peer-reviewed bewijs dat ten minste twee jaar gepubliceerd is voordat de prijs wordt toegekend.\n- OpenAI schreef het resultaat toe aan zijn agents, maar heeft niet bekendgemaakt welk onderliggend model of redeneerssysteem het werk heeft geproduceerd.\n\n## Wat het Navier-Stokes-probleem eigenlijk is\n\nDe Navier-Stokes-vergelijkingen modelleren hoe vloeistoffen — water, lucht, bloed — zich door de ruimte bewegen. De onopgeloste vraag is of gladde, fysisch redelijke oplossingen altijd bestaan in drie dimensies, of dat de vergelijkingen kunnen uiteenvallen in singulariteiten. Natuurkundigen en ingenieurs gebruiken de vergelijkingen voortdurend; de bestaans-en-gladheidsvraag gaat over of de wiskundige basis onder die toepassingen solide is. Ze staat al open sinds de negentiende eeuw.\n\n\n\nEen correct, geverifieerd bewijs zou behoren tot de meest significante wiskundige resultaten in de moderne geschiedenis. Die context maakt het geschil rond de aankondiging van OpenAI uitzonderlijk hoog-risicovol — niet alleen voor het bedrijf, maar ook voor de manier waarop het vakgebied AI-ondersteund onderzoek in de toekomst beoordeelt.\n\n## De beschuldiging van wangedrag\n\nVolgens TechCrunch heeft een wiskundige van NYU beweerd dat OpenAI „vuil heeft gespeeld" bij het nastreven van het resultaat — taal die impliceert dat het gedrag van het bedrijf onafhankelijk academisch werk aan hetzelfde probleem heeft doorkruist. De details van de beschuldiging waren op het moment van publicatie niet volledig bekendgemaakt, maar de onderzoeker omschreef het als carrièrebedreigend. MIT Technology Review meldde ook dat de aankondiging „overschaduwd wordt door beschuldigingen", hoewel het die niet zelfstandig uitwerkte.\n\nOpenAI heeft niet publiekelijk en gedetailleerd gereageerd op de beschuldigingen van wangedrag. Die stilte is veelzeggend: het prijsproces van het Clay Mathematics Institute vereist dat een peer-reviewed bewijs wordt gepubliceerd en twee jaar standhoudt voordat een prijs wordt toegekend, dus de 1 miljoen dollar is hoe dan ook nog lang niet in zicht, ongeacht de geldigheid van de wiskunde.\n\n## Wat OpenAI wel en niet heeft bekendgemaakt\n\nDe blogpost van OpenAI bevestigde de claim, maar noemde niet het specifieke model of de agentarchitectuur die verantwoordelijk was. Het bedrijf maakte het bewijs bij de lancering niet openbaar, en geen enkele onafhankelijke wiskundige had het resultaat op dinsdag bevestigd. Juist die kloof — een grote aankondiging zonder een open, toetsbaar bewijs — trok de scherpste kritiek.\n\nTer context: OpenAI heeft een recent patroon van spraakmakende lanceringen die controverse genereren voordat de details volledig beschikbaar zijn; de GPT-6 Astra-uitrol struikelde uren na de release, en het transparantierecord van het bedrijf rond agents staat dit jaar al onder de loep.\n\n## Waarom dit verder gaat dan de wiskunde\n\nVoor iedereen die bouwt met AI-redeneertools is de Navier-Stokes-claim een datapunt over wat frontier AI-agents nu proberen — niet alleen codegeneratie of beeldsynthese, maar formeel wiskundig bewijs op het moeilijkste bekende niveau. Of dit specifieke resultaat nu standhoudt of niet, het geeft aan dat de modelcapaciteiten die beschikbaar zijn voor onderzoekers zich bewegen naar terrein dat nog in 2023 als tientallen jaren verwijderd werd beschouwd.\n\nDe controverse schept ook een precedent voor hoe AI-ondersteunde bewijzen zullen worden betwist. Als de agents van OpenAI inderdaad een geldige oplossing hebben geproduceerd, zal het verificatieproces via peer review de echte test zijn — en de gedragsbeschuldigingen zullen afzonderlijk moeten worden aangepakt. Beide vragen zijn onopgelost.\n\nThe Verge meldde dat de New York Times en Wired de aankondiging eerder op dinsdag hadden behandeld, wat suggereert dat OpenAI een media-uitrol coördineerde voordat de wiskundige gemeenschap de kans had het werk te beoordelen — een volgordekeuze die zelf onderdeel van het verhaal kan worden.