OpenAI heeft bekendgemaakt dat een intern AI-systeem een oplossing heeft afgeleid voor het ongeveer negentig jaar oude Navier-Stokes-probleem. Volgens de onderneming werkten 10.000 met elkaar samenwerkende AI-agents ongeveer 88 uur aan het vraagstuk. De claim trekt wereldwijd aandacht, maar is nog iets anders dan een door de wiskundige gemeenschap geaccepteerd bewijs.

De Navier-Stokes-vergelijkingen beschrijven onder meer hoe vloeistoffen en gassen zich gedragen. Een fundamentele open vraag gaat over de vraag of oplossingen onder bepaalde omstandigheden altijd netjes blijven of dat er singulariteiten kunnen ontstaan. Het probleem behoort tot de beroemde Millennium Prize Problems van het Clay Mathematics Institute.

Juist bij een resultaat van dit niveau is verificatie essentieel. Een AI-model kan een zeer overtuigend bewijs produceren en toch een fout bevatten. In de wiskunde moet iedere stap controleerbaar zijn en moeten onafhankelijke experts kunnen vaststellen dat er geen verborgen aanname of ongeldige redenering in het argument zit.

De controverse rond de claim draait daarom niet alleen om de vraag of AI inmiddels wiskunde kan bedrijven. Het gaat ook om de manier waarop zulke doorbraken worden gepubliceerd. Wanneer een bedrijf zelf meldt dat een historisch probleem is opgelost, ontstaat onmiddellijk een verschil tussen een bedrijfsclaim en wetenschappelijke consensus.

Toch is de ontwikkeling belangrijk. AI-systemen worden steeds beter in het doorzoeken van grote oplossingsruimtes, het formuleren van tussenstappen en het combineren van bestaande kennis. Dat kan onderzoekers helpen om ideeën te vinden die anders veel tijd zouden kosten om te ontdekken.

De komende periode zal vooral duidelijk moeten maken hoe goed de oplossing standhoudt onder onafhankelijke controle. Als het bewijs correct blijkt, zou dat een opvallend moment zijn in de geschiedenis van AI en wiskunde. Als er fouten worden gevonden, is dat minstens zo leerzaam: het laat zien waarom AI in fundamenteel onderzoek krachtige ondersteuning kan zijn, maar menselijke verificatie voorlopig onmisbaar blijft.