Wiskunde: heeft AI een van de grootste problemen opgelost?

Samenvatting

OpenAI bereikt na 88 uur een voorgestelde oplossing voor Navier-Stokes, maar lost daarmee niet de volledige hoofdvraag op.

OpenAI en Navier-Stokes: wat er gebeurt

OpenAI meldt dat een intern AI-systeem een eindige-tijdsingulariteit construeerde voor de driedimensionale Navier-Stokes-vergelijkingen met een gladde externe kracht. De aanpak valt binnen een route die het Clay Mathematics Institute toestaat, maar bewijst niet dat de vergelijkingen zonder externe kracht altijd glad blijven.

Aan het experiment werkten ongeveer 10.000 gelijktijdige AI-agents, 2,7 miljoen berichten en circa 130 miljard outputtokens mee. De agents bereikten hun voorgestelde oplossing na 88 uur; daarna volgden 17 uur voor formalisering en verificatie in Lean.

Navier-Stokes en de menselijke voorgeschiedenis

De claim staat niet los van eerder mensenwerk. Tristan Buckmaster van NYU en Levent Alpöge, verbonden aan Anthropic, boekten al vooruitgang met verwante vloeistofdynamische problemen. Zij gebruikten onder meer Claude en OpenAI Codex en formaliseerden hun resultaten eveneens met Lean.

Hun onderzoek betrof een eindige-tijdsingulariteit voor de driedimensionale incompressibele Euler-vergelijkingen met gladde forcing. Dat loste Navier-Stokes niet op, maar hun werk lag wel dicht bij dezelfde wiskundige grens. OpenAI hoorde op 1 september 2026 geruchten over oplossingen voor Millennium Prize Problems en testte daarna zijn model op open problemen. Het bedrijf ontdekte later dat de geruchten verband hielden met het werk van Buckmaster en Alpöge.

Voor AI- en analyticsprofessionals zit de les in de bewijsvoering. Een indrukwekkende modeluitvoer is niet automatisch een oplossing: de precieze probleemdefinitie, herkomst van de aanpak en formele controle bepalen wat de claim waard is. Lean geeft daarbij een controleerbare laag, maar neemt de noodzaak van menselijke interpretatie niet weg.

Concrete takeaway voor AI-analytics

Beoordeel autonome AI-resultaten in drie stappen: controleer eerst welke variant van het probleem is aangepakt, leg daarna de menselijke voorgeschiedenis vast en eis ten slotte formele verificatie voordat je van een ontdekking spreekt.