Terence Tao partage sa vision des mathématiques à l'ère de l'IA et souligne que l'humain doit privilégier la compréhension à la simple génération de preuves
Terence Tao, mathématicien médaillé Fields, a publié un article analysant l'évolution de la recherche mathématique face à l'essor de l'IA.
La communauté académique et le site Hacker News s'intéressent de près à l'article intitulé « Mathematics in the age of AI » (arXiv:2608.16753) rédigé par Terence Tao, mathématicien lauréat de la médaille Fields, issu d'une conférence publique donnée au Congrès international des mathématiciens (ICM 2026).
Dans cet article, Tao déplace le débat : plutôt de se demander si l'IA égalera l'humain, il invite à repenser les objectifs et la valeur réelle de la recherche mathématique alors que les outils d'intelligence artificielle parviennent désormais à résoudre des problèmes de niveau recherche.
Son principal argument est que la communauté mathématique doit passer de la « génération de preuves » (que l'IA peut réaliser rapidement) à la « digestion des preuves » (la compréhension, la clarté explicative et la vérification humaine). Il suggère qu'aucun travail de recherche ne devrait être accepté ou publié si les auteurs ne sont pas capables d'en expliquer la démonstration à des experts humains, et ce, même si la preuve a été validée par un système automatisé (verification formelle).
Cet article reflète la perspective d'un expert mondial sur l'adaptation du milieu académique et éducatif face à la transformation des méthodes de travail par l'IA, offrant des repères précieux pour préparer les talents scientifiques et technologiques en Thaïlande.