Terence Tao à la cérémonie de la médaille Fields : les mathématiques font face à une crise séculaire

Lors du Congrès international des mathématiciens (ICM) de 2026, immédiatement après l'annonce des lauréats de la médaille Fields 2026, Wang Hong et Deng Yu, Terence Tao, qui a reçu la même distinction en 2006, a prononcé un discours intitulé « Les mathématiques à l'ère de l'IA ». Plutôt que de débattre de la capacité de l'IA à faire des mathématiques, Tao a proposé une hypothèse de travail : supposons que l'IA sera bientôt capable de résoudre une part significative des problèmes de recherche à un coût raisonnable. Citant le benchmark indépendant First Proof, où des systèmes d'IA ont résolu 7 problèmes sur 10 à un niveau publiable, il a souligné que cela permet de déplacer la discussion vers le domaine des valeurs. Tao a invoqué la loi de Goodhart : lorsqu'un indicateur devient un objectif, il cesse d'être un bon indicateur. Il a montré comment l'évolution des objectifs en recherche mathématique (résolution de problèmes, vérification, exposition claire, acceptation par la communauté, canonisation) conduira à une « indigestion de preuves » — une transition d'une ère de rareté des preuves à une ère d'abondance des preuves. Tao a appelé à réduire le poids de la « première solution » et à accroître l'importance des étapes de « digestion » : exposition, publication et canonisation. Il a approuvé la Déclaration de Leiden sur l'IA et les mathématiques, qui exige la divulgation de l'utilisation de l'IA, les auteurs assumant l'entière responsabilité de l'exactitude. La règle stricte de Tao : si un auteur ne peut pas présenter clairement et avec compétence le travail oralement, il ne devrait pas être publié. Tao lui-même a reconnu avoir utilisé l'IA pour préparer ses diapositives et a appelé à un dialogue ouvert au sein de la communauté.