IA: bientôt des maths sans humains?

C’est une véritable révolution. Après avoir vaincu les humains aux échecs et au jeu de go, après avoir craqué le repliement des protéines, voilà que l’IA nous affronte sur un nouveau terrain de jeux : les mathématiques. Les entreprises qui développent ces intelligences artificielles revendiquent des performances toujours plus impressionnantes en termes de capacités de raisonnement, de rigueur et d’abstraction. En juillet 2025 déjà, plusieurs modèles avaient atteint le niveau requis pour rafler une médaille d’or aux Olympiades internationales de mathématiques : la machine dépasse désormais les meilleurs lycéens en algèbre, en combinatoire, en arithmétique et en géométrie. Depuis, l’histoire a pris un nouveau tournant : l’IA s’immisce désormais dans les laboratoires de mathématiques du monde entier et se confronte à des problèmes de recherche. Les meilleurs modèles jouent les assistants de haut niveau pour les chercheurs et les chercheuses… et commencent même à démontrer certains résultats inédits en toute autonomie. De quoi donner le vertige : et si un jour les mathématiques échappaient aux humains pour devenir l’apanage des machines ?

“C’est le plus gros changement que les mathématiques aient connu depuis des millénaires”, assure la mathématicienne Sylvia Serfaty, professeure à l’université Pierre-et-Marie-Curie, à Paris. Dans un ouvrage récemment publié, elle consacre un chapitre entier à l’IA : “C’est tellement central dans les préoccupations actuelles de mon domaine de recherche que je ne pouvais pas faire l’impasse.” Le constat est en effet indiscutable : au-delà des opérations de communication des entreprises, l’IA est déjà en train de transformer la pratique professionnelle des mathématiques. Notamment pour faire des recherches bibliographiques et pour brainstormer.