De wereld van de theoretische wiskunde beleeft een ingrijpende transitie door de opkomst van kunstmatige intelligentie. Waar AI voorheen vooral werd gezien als een ondersteunend instrument, rijst nu de vraag of het voor wetenschappers in dit vakgebied überhaupt nog mogelijk is om hun werk uit te oefenen zonder deze technologie. De snelheid waarmee AI is geïntegreerd in de academische praktijk is namelijk ongekend.
Volgens een analyse van newscientist.com is er een spectaculaire stijging te zien in het aantal wiskundige artikelen op de preprint-server arXiv die het gebruik van AI expliciet vermelden. Terwijl dit in het voorgaande jaar nog slechts bij 1 procent van de werken het geval was, was dit percentage in augustus van dit jaar gestegen naar 25 procent. Deze cijfers illustreren een verschuiving waarbij doorbraken, die vroeger sporadisch voorkwamen, nu in een constante stroom worden gegenereerd door technologische versnelling.
Deze ontwikkeling creëert een bijzondere paradox binnen de wiskunde. In tegenstelling tot veel andere wetenschappen is een wiskundig bewijs, zodra het is vastgesteld, voor altijd waar. Dit betekent dat een wiskundige die weigert AI te gebruiken, desondanks wel moet werken met de resultaten die door AI zijn gevonden. De nieuwe ontdekkingen worden onderdeel van de collectieve kennisbasis en vormen de fundering voor toekomstig onderzoek. Zoals beschreven door , kan de wiskunde worden gezien als een enorme, gezamenlijke puzzel waarbij elke nieuwe stap voortbouwt op wat eerder is ontdekt.
Een significante uitdaging bij deze nieuwe methode is de begrijpelijkheid van de bewijzen. AI kan oplossingen genereren die zo complex zijn dat ze het menselijk bevattingsvermogen te boven gaan. Om dit op te lossen, wordt gebruikgemaakt van gespecialiseerde programmeertalen zoals Lean. Deze software kan de correctheid van een resultaat verifiëren. Hierdoor kan de correctheid van een resultaat worden gegarandeerd, zelfs als de menselijke intuïtie de logische route niet volledig kan volgen.
Om de impact van deze verandering te duiden, wordt vaak de vergelijking getrokken met de schaakwereld. Hoewel AI-programma's al decennia superieur zijn aan menselijke spelers, is het menselijke schaakspel niet verdwenen; AI wordt daar juist ingezet voor training en strategische inzichten. Er is echter een cruciaal verschil: een schaakpartij is een afgesloten gebeurtenis, terwijl wiskunde een cumulatief proces is. Een schaker kan ervoor kiezen om zonder computer te spelen, maar een wiskundige kan de feiten die door AI zijn vastgesteld niet simpelweg negeren.
De integratie van AI is daarmee geen keuze voor een nieuw hulpmiddel, maar een verandering in de gehele infrastructuur van de wetenschap. De centrale vraag is nu hoe de menselijke rol zal evolueren in een omgeving waar machines de snelheid en capaciteit voor bewijsvoering domineren. In de berichtgeving van wordt gesuggereerd dat een volledige afwijzing van AI op termijn wellicht niet meer compatibel is met een actieve loopbaan in de wiskunde. De technologie is inmiddels zo verweven met de vooruitgang van het vakgebied dat het negeren ervan een professionele hindernis kan worden.