Face à l’IA, les mathématiciens vivent une crise existentielle
Perçues comme le fondement du savoir scientifique, les mathématiques sont confrontées à l’arrivée de l’IA sur leurs plates-bandes. Les spécialistes de la discipline ne sont pas tous d’accord sur le sort qu’ils doivent réserver à cette technologie, racontent-ils à “The Atlas”.
En 2026, l’intelligence artificielle (IA) commence à résoudre des problèmes mathématiques complexes qui résistaient depuis des décennies aux mathématiciens humains. Par exemple, des modèles d’IA comme ceux développés par OpenAI ou le chinois RedNote ont formalisé des théorèmes anciens, comme le dernier théorème de Fermat, en seulement quelques jours. Cette avancée technologique crée une tension dans la communauté mathématique, car elle remet en question la place centrale des chercheurs humains dans la résolution de problèmes fondamentaux. Les mathématiques, considérées comme le socle du savoir scientifique, voient ainsi leur monopole ébranlé par des outils capables de produire des démonstrations rigoureuses sans intervention humaine directe.
En juillet 2026, Jacob Tsimerman, mathématicien canadien d’origine russe, reçoit l’une des quatre médailles Fields — la plus haute distinction en mathématiques — lors du Congrès international des mathématiciens à Philadelphie. Quelques heures après cette consécration, il annonce rejoindre OpenAI, l’entreprise à l’origine de ChatGPT. Ce choix, perçu comme un renoncement à la recherche fondamentale, illustre le clivage au sein de la communauté mathématique. Certains y voient une trahison, tandis que d’autres le comprennent comme une adaptation nécessaire face à l’évolution technologique. Tsimerman, connu pour ses craintes d’un avenir omnicide lié à l’IA, justifie son départ par la volonté de travailler sur la sécurité de ces outils, plutôt que de poursuivre des recherches jugées moins prioritaires.
La communauté mathématique est profondément divisée sur l’attitude à adopter face à l’IA. Certains chercheurs, comme Tsimerman, estiment que l’IA pourrait rendre obsolètes une partie de leurs travaux, notamment ceux liés à la résolution de problèmes théoriques. D’autres, plus sceptiques, soulignent que ces outils, bien qu’impressionnants, manquent encore de rigueur ou de créativité pour remplacer les mathématiciens humains. Le débat porte aussi sur l’éthique : faut-il utiliser l’IA pour accélérer les découvertes, au risque de marginaliser les chercheurs, ou bien renoncer à ces outils pour préserver l’intégrité de la discipline ? Aucune réponse consensuelle n’émerge pour l’instant.
L’IA est perçue tantôt comme un outil révolutionnaire, tantôt comme une menace existentielle par les mathématiciens. D’un côté, elle permet de résoudre des énigmes mathématiques en un temps record, comme le dernier théorème de Fermat, formalisé en onze jours par une IA. De l’autre, des figures comme Tsimerman craignent que ces outils ne deviennent incontrôlables et ne menacent l’humanité, une crainte partagée par les doomers de l’IA — des experts convaincus que l’IA pourrait conduire à l’extinction de l’espèce humaine. Ce dilemme oppose ceux qui voient dans l’IA une opportunité de progrès à ceux qui y voient un danger à long terme.
Face à cette crise, la question se pose : les mathématiques doivent-elles s’adapter à l’IA ou résister à son intrusion ? Certains mathématiciens pourraient se reconvertir vers des domaines où l’IA est moins performante, comme la recherche de nouvelles théories ou l’enseignement. D’autres pourraient collaborer avec ces outils pour explorer des pistes inédites. Cependant, le risque d’une marginalisation progressive des chercheurs humains plane. Le Congrès international des mathématiciens de 2026 a mis en lumière cette tension, sans apporter de solution claire. L’enjeu dépasse désormais le cadre scientifique : il touche à la place de l’humain dans un monde où l’IA gagne en autonomie et en puissance.
