Terence Tao op Fields Medal Ceremonie: Wiskunde staat voor een eeuwcrisis

Op het Internationale Congres van Wiskundigen (ICM) van 2026, direct na de bekendmaking van de Fields Medalwinnaars van 2026, Wang Hong en Deng Yu, hield Terence Tao, die in 2006 dezelfde onderscheiding ontving, een lezing getiteld 'Wiskunde in het tijdperk van AI'. In plaats van te bespreken of AI wiskunde aankan, stelde Tao een werkhypothese voor: ga ervan uit dat AI binnenkort in staat zal zijn om een aanzienlijk deel van de onderzoeksproblemen tegen redelijke kosten op te lossen. Verwijzend naar de onafhankelijke benchmark First Proof, waarbij AI-systemen 7 van de 10 problemen op publiceerbaar niveau oplosten, benadrukte hij dat dit de discussie naar het domein van waarden verplaatst. Tao beriep zich op de wet van Goodhart: wanneer een maatstaf een doel wordt, houdt deze op een goede maatstaf te zijn. Hij liet zien hoe de evolutie van doelen in wiskundig onderzoek (probleemoplossing, verificatie, heldere uiteenzetting, acceptatie door de gemeenschap, canonisatie) zal leiden tot 'bewijsindigestie'—een overgang van een tijdperk van bewijsschaarste naar een tijdperk van bewijsovervloed. Tao riep op om het gewicht van 'eerste oplossing' te verminderen en het belang van de 'verteringsfasen' te vergroten: uiteenzetting, publicatie en canonisatie. Hij steunde de Leidse Verklaring over AI en Wiskunde, die vereist dat AI-gebruik wordt vermeld, waarbij auteurs volledige verantwoordelijkheid dragen voor de juistheid. Tao's strikte regel: als een auteur het werk niet mondeling duidelijk en deskundig kan presenteren, moet het niet worden gepubliceerd. Tao gaf zelf toe AI te hebben gebruikt om dia's voor te bereiden en riep op tot een open dialoog binnen de gemeenschap.