Les mathématiques ont admis l'IA à leur table. Elles discutent encore de la place à lui laisser.

Les mathématiques ont déjà traversé des crises qui les ont renforcées. Le début du XX^e siècle en offre l'exemple canonique : le paradoxe de Russell en 1901, puis les théorèmes d'incomplétude de Gödel en 1931, ont ébranlé des fondations que l'on croyait acquises — avant d'accoucher d'un cadre rigoureux, standardisé, et finalement mécanisable. La secousse décrite aujourd'hui par Terence Tao, médaille Fields et l'un des mathématiciens les plus influents de sa génération, est de même nature. À une différence près : ce ne sont plus les fondations qui sont mises à l'épreuve, mais les valeurs et les usages d'une communauté.

Les dates suffisent à situer le basculement. En mai 2025, AlphaEvolve, l'agent de Google DeepMind, porte la borne inférieure du nombre de baisers en dimension 11 de 592 à 593, conçoit un nouvel algorithme de multiplication matricielle et grignote environ 1 % d'ordonnancement dans les centres de données de la firme. En août 2026, le modèle Astra d'OpenAI résout la question de l'existence des groupes non-sofiques, un point resté ouvert en théorie des groupes. En juin 2026, l'Union mathématique internationale (IMU) endosse la déclaration de Leyde, qui constate que l'intelligence artificielle (IA) remet en cause les valeurs fondamentales des mathématiques.

Ce qui vacille, ce n'est pas la vérité

Le raisonnement de Tao est intéressant parce qu'il refuse le débat sur les capacités. Il pose l'hypothèse que ces outils finiront par produire de la recherche de niveau professionnel, puis déplace la question : si un résultat sort d'une machine, à quoi sert encore le travail humain qui l'entoure ? La réponse ne se trouve pas dans les théorèmes, mais dans ce qu'ils signalent. Le mathématicien américain Bill Thurston le formulait dès 1994 : ce que la discipline cherche vraiment n'est pas un ensemble de réponses, c'est de la compréhension.

« Ce que les mathématiciens veulent vraiment n'est généralement pas un ensemble de réponses : c'est de la compréhension. » — Bill Thurston, 1994

Cette distinction n'est pas un raffinement philosophique, elle a des conséquences très concrètes. Si la valeur du travail tient à la transmission — des idées qui circulent, s'enseignent et se discutent — alors un service capable de produire des preuves à bas coût ne remplace pas les chercheurs : il déplace la charge vers ceux qui doivent encore les lire, les comprendre et les transmettre. Dans des universités sous contrainte budgétaire, la tentation inverse est pourtant évidente.

Une démo n'est pas un métier

La seconde lecture des annonces ne suit pas le récit marketing. Les percées récentes relèvent surtout d'une recombinaison habile d'idées existantes : la preuve d'Astra, relève le mathématicien Henry Bradford, consiste largement en une variation légère de théorèmes déjà connus. Ce n'est pas rien — c'est même spectaculaire au regard de ce qu'on jugeait possible il y a deux ans. Ce n'est simplement pas une théorie neuve.

• Un résultat n'est pas un service : prouver un théorème une fois ne veut pas dire le produire à la demande, au bon coût et sans supervision.
• Une performance n'est pas une méthode : battre un record sur un problème ne garantit pas de savoir lequel attaquer ensuite.
• Une capacité n'est pas une valeur : savoir faire quelque chose ne dit rien de ce qu'une société décide de financer ou de préserver.

La science-fiction avait vu juste, à moitié

Sur un point, la science-fiction n'avait pas tort : l'intellect n'est pas un rempart, et la fiction imagine depuis longtemps des machines plus fortes que nous sur ce terrain. Elle s'est en revanche trompée sur la forme. La bascule ne ressemble pas à un duel, encore moins à une révolte ; elle prend l'apparence d'un collègue infatigable, qui produit des brouillons plausibles que des humains doivent relire, situer, corriger et transmettre.

Reste une question que personne ne tranche, et c'est peut-être la seule qui compte vraiment : si la machine fournit les preuves et que l'humain garde l'entendement, qui décide de ce qu'on continue de financer ? Tao parie sur une communauté qui, comme lors de la crise des fondations, sortira renforcée d'avoir rendu explicites ses propres critères. Le pari est raisonnable. Il n'est pas encore gagné, et l'échéance, elle, reste inconnue. Pour quiconque hésite sur ses outils ou sa méthode, la leçon vaut aussi : ce qui se délègue, ce sont les réponses ; ce qui se garde, c'est le jugement.