Wiskunde in het Tijdperk van AI: Openbare Lezing van Terence Tao op ICM 2026
In zijn lezing op het Internationale Congres voor Wiskundigen 2026 bespreekt Terence Tao hoe de wiskundige gemeenschap moet reageren op de groeiende capaciteiten van AI. Hij introduceert een 'AI-capaciteitshypothese' en stelt een werkhypothese voor dat AI-tools binnenkort een aanzienlijk deel van onderzoekswiskundige taken zullen uitvoeren. Tao betoogt dat, zelfs als deze hypothese waar is, de gemeenschap haar doelen en waarden zorgvuldig moet heroverwegen om de wet van Goodhart te vermijden.
Terence Tao hield op 24 juli 2026 een publieke lezing getiteld 'Mathematics in the Age of AI' tijdens het International Congress of Mathematicians. Hij trekt een parallel met de fundamentele crisis aan het begin van de 20e eeuw, veroorzaakt door de paradox van Russell en de onvolledigheidsstellingen van Gödel, en suggereert dat AI nu een vergelijkbare uitdaging vormt. Tao formuleert een 'AI Capability Hypothesis' met zwakke en sterke vormen, maar kiest ervoor zich te richten op de orthogonale vraag naar doelen en waarden. Hij hanteert een werkhypothese dat een redelijk sterke versie van de AI-capabiliteitshypothese waar is: AI-tools zullen binnenkort in staat zijn om een redelijk deel van onderzoekswiskundige taken met redelijk succes, kwaliteit, controle en kosten uit te voeren. Onder deze aanname stelt hij dat de gemeenschap haar ware doelen moet onderzoeken—problemen oplossen, theorieën bouwen, onderwijzen, esthetische werken creëren—en waarschuwt dat optimalisatie voor AI-gegenereerde oplossingen het risico met zich meebrengt deze doelen uiteen te laten drijven. Hij citeert resultaten van de First Proof-uitdaging (firstproof.org), waarbij op 28 mei 2026 zeven van de tien onderzoeksproblemen werden opgelost door AI-teams tegen kosten van $10 tot $1000 per probleem. Tao merkt op dat AI-gegenereerde bewijzen op sites zoals Erdős Problems verificatieproblemen oproepen, omdat menselijke experts vaak de tijd of kwalificatie missen om ze te valideren.
Bron: Habr — хаб ML —
origineel