OpenAI heeft op 8 september 2026 aangekondigd dat haar interne AI-systeem een van de zeven millenniumproblemen heeft opgelost: het probleem van het bestaan en de gladheid van oplossingen van de Navier-Stokes-vergelijkingen.
Volgens het bedrijf toont het bewijs aan dat een gladde vloeistof in rust onder invloed van een gladde kracht in een eindige tijd een singulariteit kan ontwikkelen, terwijl de energie eindig blijft.
De oplossing is verkregen met behulp van duizenden AI-agenten die ongeveer 88 uur werkten en is geformaliseerd in Lean.
De aankondiging veroorzaakte onmiddellijk controverse in de wiskundige gemeenschap.
Professor Tristan Buckmaster van de New York University en onderzoeker Levent Alpöge van Anthropic hadden kort daarvoor resultaten gepubliceerd over gerelateerde problemen die werden beschouwd als belangrijke stappen in de richting van de oplossing van het Navier-Stokes-probleem.
Buckmaster uitte zijn bezorgdheid dat OpenAI op de hoogte had kunnen zijn van de richting van hun werk en de eigen inspanningen had kunnen versnellen door een vergelijkbare aanpak te gebruiken.
Het bedrijf verwierp de beschuldigingen van toegang tot andermans gegevens of concepten en verklaarde te hebben gehandeld op basis van publieke geruchten over vooruitgang bij andere millenniumproblemen.
Hoe de AI-agenten precies tot het bewijs zijn gekomen en of dit als een onafhankelijke doorbraak kan worden beschouwd, wordt nu besproken door wiskundigen en AI-experts.
Het is interessant of deze episode het vertrouwen van onderzoekers in het gebruik van commerciële modellen voor werk aan niet-gepubliceerde resultaten zal beïnvloeden.
OpenAI benadrukte dat het niet van plan is aanspraak te maken op de prijs van één miljoen dollar van het Clay Institute.
De gebeurtenis is opnieuw een voorbeeld van hoe snel de mogelijkheden van AI in de wiskunde zich ontwikkelen, maar tegelijkertijd riep het vragen op over ethiek en auteurschap in de samenwerking tussen mens en machine.
