Terence Tao, mathématicien de l'UCLA largement considéré comme la figure vivante la plus influente dans ce domaine, a publié un essai affirmant que l'intelligence artificielle pousse les mathématiques dans une période de turbulences comparable à la crise fondamentale qui a remodelé la discipline il y a un siècle. L'article, « Les mathématiques à l'ère de l'IA », est paru sur arXiv le 17 août et est basé sur une conférence publique prononcée par Tao lors du Congrès international des mathématiciens de 2026.
L'essai est rapidement devenu l'un des textes scientifiques les plus discutés de la semaine parmi les chercheurs et les ingénieurs, attirant un large public sur des forums comme Hacker News. Pour un domaine qui a passé les trois dernières années à débattre de la question de savoir si l'IA peut réellement faire des mathématiques au niveau de la recherche, l'argument de Tao change complètement la question.
Une crise de valeurs, pas de vérité
Le cadre historique de Tao est délibéré. Entre 1900 et 1930 environ, les mathématiques ont été ébranlées par le paradoxe de Russell en 1901 et les théorèmes d'incomplétude de Gödel en 1931 – des découvertes qui ont forcé les mathématiciens à abandonner les hypothèses informelles et à construire les fondations explicites et rigoureuses sur lesquelles repose encore aujourd'hui le sujet. Selon lui, ces turbulences ont finalement rendu les mathématiques plus fortes.
Le parallèle qu’il établit est précis : ce qui est actuellement testé n’est pas le cadre de vérité des mathématiques, mais son « cadre largement implicite de valeurs et de pratiques mathématiques » – ce que la communauté considère comme une contribution, ce qu’elle récompense, ce qu’elle considère comme compris et qui, ou quoi, elle considère comme ayant fait le travail. Tout comme la dernière crise a forcé l’implicite à devenir explicite, Tao soutient que celle-ci obligera les mathématiciens à codifier des objectifs qui n’ont jamais eu besoin d’être écrits.
Ignorer le débat sur les capacités
Le choix structurel le plus frappant de l’essai est qu’il refuse de discuter de la question de savoir si l’IA peut faire des mathématiques. Au lieu de cela, Tao part de l’hypothèse selon laquelle des outils d’IA capables d’effectuer des tâches mathématiques de niveau recherche arriveront et traite tout ce qui se trouve en aval de cette hypothèse comme le véritable problème. Il appelle cela la « question de réponse de la communauté » : comment la communauté mathématique devrait-elle réagir, et non si les capacités sont réelles.
C'est un mouvement délibérément orthogonal. Selon Tao, les débats sur la capacité des modèles sont à la fois insolubles dans l'abstrait et hors de propos. Les questions urgentes – à quoi servent les mathématiques et ce que valorisent réellement leurs praticiens – exigeraient des réponses même si les progrès de l’IA s’arrêtaient demain.
Rareté des preuves, abondance des preuves et loi de Goodhart
Au cœur de l’essai se trouve une étude de cas sur la résolution de problèmes, la composante de la pratique mathématique la plus directement menacée par l’automatisation. Tao examine ce qui se passe lorsque le domaine passe d’une économie de rareté des preuves – où les preuves originales vérifiées sont rares et précieuses – à une économie d’abondance de preuves, où les arguments générés par les machines sont bon marché et abondants.
Sa liste de mots-clés indique le domaine qu'il couvre : formalisation, assistants de preuve, examen par les pairs, loi de Goodhart. Ce dernier élément – le principe selon lequel une mesure cesse d’être une bonne mesure une fois qu’elle devient un objectif – revient partout. Le nombre de publications, les résultats des concours et la provenance des théorèmes ont tous servi d'indicateurs de la contribution mathématique. Dans un monde où l’IA peut gonfler ces proxys à grande échelle, la communauté devra récompenser ce qu’elle valorise réellement plutôt que ce qu’elle a historiquement pu compter.
L'essai se termine par des recommandations et une étude des flux de travail émergents - y compris des environnements de preuve formelle du type que Tao lui-même a défendu dans des expériences avec des mathématiques formellement vérifiées assistées par l'IA - ainsi qu'une reconnaissance franche que la réponse de la communauté évoluera avec la technologie.
Pourquoi un essai de mathématiques est important en dehors des mathématiques
Tao est une figure inhabituelle : un médaillé Fields qui a passé des années à travailler directement avec des assistants de preuve et des outils d'IA plutôt que de les commenter à distance. Cet engagement pratique donne à l’essai un poids au-delà des mathématiques pures, car presque toutes les disciplines de recherche sont confrontées à la même inversion qu’il décrit. L'évaluation par les pairs, la paternité, le crédit et la définition d'une contribution sont soumis à la même pression en physique, en biologie et en informatique – des domaines qui manquent de l'avance centenaire des mathématiques pour expliciter leurs fondements.
La réception jusqu’à présent suggère que la dispute a atterri. Les fils de discussion se sont concentrés sur la conception de Tao de la rareté à l’abondance comme une perspective utile pour le monde universitaire dans son ensemble, avec une attention particulière sur son argument selon lequel la crise des valeurs, contrairement à la crise des fondations, ne peut être résolue par un petit groupe de logiciens. Il devra être élaboré par l’ensemble de la communauté – les revues, les comités de recrutement, les organismes de subvention et les mathématiciens dont les carrières reposent sur des normes implicites aujourd’hui mises à rude épreuve.
La conclusion de Tao est finalement constructive plutôt qu’alarmée. La crise fondamentale a produit un cadre fiable qui a survécu à un siècle de tests. Selon lui, un examen approfondi et honnête de ce que les mathématiques valorisent réellement pourrait rendre la discipline plus forte et plus résiliente qu’auparavant – à condition que la communauté fasse le travail d’explicitation de ses règles non écrites avant que les circonstances ne fassent un choix en son faveur.
---
Gardez une longueur d'avance sur l'IARecevez les dernières actualités, analyses et avancées en matière d'IA, le tout en un seul endroit.
Lire plus d'actualités sur l'IA →
