Terence Tao over de toekomst van AI: van wiskundige samenwerking tot vloeibare computers

vrijdag, 27 juni 2025 om 6:45

Wat gebeurt er als de briljantste wiskundige van onze tijd zich buigt over de toekomst van kunstmatige intelligentie? In een diepgaand gesprek met Lex Fridman onthult Terence Tao hoe AI niet alleen wiskundige bewijzen versnelt, maar ook fundamentele inzichten kan bieden in de structuur van het universum.

In een gesprek van ruim drie uur verbindt Tao diepgaande wiskundige inzichten met de mogelijkheden én beperkingen van AI en hoe die twee werelden steeds meer in elkaar schuiven.

AI als wiskundige partner

Tao werkt actief met Lean, een programmeertaal voor formele wiskundige bewijzen. Deze taal wordt steeds vaker ondersteund door AI-tools, zoals GitHub Copilot en large language models. Volgens Tao zijn deze systemen nu al nuttig bij:

Autocompletion van bewijslijnen
Zoeken naar eerder bewezen stellingen (lemma search)
Sneller formaliseren van complexe bewijzen

Toch waarschuwt hij: “AI maakt vaak fouten die eruitzien alsof ze kloppen. Dat is gevaarlijker dan duidelijke fouten.”

Vloeibare computers: AI vanuit vloeistofdynamica

Een van de meest intrigerende inzichten kwam toen Tao vertelde over zijn idee om de Navier-Stokes-vergelijkingen (die vloeistofstroming beschrijven) te gebruiken als basis voor een vloeibare Turing-machine en soort watercomputer. In theorie zou zo’n systeem complexe berekeningen kunnen uitvoeren, vergelijkbaar met AI, maar dan in fysieke vorm. Tao noemt dit “steampunk, maar dan met water.”

De grote sprong: AI die wiskundige ideeën bedenkt

Volgens Tao ligt de toekomst in AI als mede-onderzoeker:

AI die wiskundige strategieën evalueert
AI die nieuwe bewijsmethoden voorstelt
AI die verbanden legt tussen ogenschijnlijk ongerelateerde theorieën

Maar dat punt zijn we nog niet voorbij. De huidige AI-modellen missen een “reukzin” voor wanneer een wiskundige richting kansloos is. Mensen voelen dat intuïtief aan — AI nog niet.

Tao’s voorspelling

Tao voorspelt dat binnen 10 jaar AI serieus zal meewerken aan wiskundige publicaties. De echte doorbraak? Die komt als AI helpt een nieuw groot vermoeden (zoals het vermoeden van Goldbach of Riemann) te formuleren of zelfs te bewijzen.