Terence Tao: AI-bedrijven schaden de wiskunde

In dit artikel:

AI-bedrijven boeken in hoog tempo wiskundige resultaten, maar volgens Fieldsmedaillewinnaar Terence Tao laten ze het belangrijkste vervolgwerk grotendeels aan anderen over. Hij waarschuwt dat dit de ontwikkeling van de wiskunde kan schaden.

OpenAI meldde vorige week een oplossing voor het Navier-Stokes-probleem, een van de zeven Millenniumprijsproblemen waarvoor een beloning van 1 miljoen dollar is uitgeloofd. De doorbraak onderstreept volgens Tao een bredere versnelling door AI in de wiskunde. Waar onderzoekers vroeger tijd nodig hadden om resultaten te controleren, te begrijpen, uit te leggen en in het onderwijs op te nemen, produceren AI-systemen nu mogelijk sneller nieuwe uitkomsten dan de gemeenschap kan verwerken.

Tao onderscheidt vijf stappen voordat wiskunde bruikbaar wordt: creatie, controle, uitleg, acceptatie en overdracht aan volgende generaties. AI-bedrijven richten zich volgens hem vooral op de eerste twee. Daardoor krijgen wiskundigen veel onafgewerkt en moeilijk te beoordelen materiaal op hun bord, terwijl het zorgvuldige uitleggen, controleren en onderwijzen achterblijft.

De concurrentiestrijd rond Navier-Stokes illustreert dat probleem. Tristan Buckmaster van New York University en Levent Alpöge van Anthropic werkten aan oplossingen voor de verwante Euler-vergelijkingen en aan een mogelijke route naar Navier-Stokes. Nadat OpenAI naar verluidt van hun werk had gehoord en hen voorbij dreigde te streven, voelden zij zich gedwongen hun resultaten eerder te publiceren. Volgens andere wiskundigen waren die verslagen minder helder dan gebruikelijk. Tao stelt dat zo een wedloop ontstaat waarin snelheid en publiciteit belangrijker worden dan nauwkeurigheid en transparantie.

Hij vreest bovendien dat onderzoekers hun ideeën minder openlijk zullen delen uit angst dat concurrenten ze met AI sneller afmaken. Dat kan de samenwerkingscultuur van de wiskunde ondermijnen. Tao verwacht uiteindelijk wel dat AI-resultaten worden begrepen en in lesboeken belanden, maar waarschuwt dat de gemeenschap daarvoor een lange en demoraliserende weg moet afleggen.