L’intelligence artificielle progresse désormais jusque dans la recherche mathématique de haut niveau, obligeant la communauté à repenser ses méthodes de travail. Le 3 novembre 2026, environ 70 mathématiciennes et mathématiciens se sont réunis à Paris pour réfléchir collectivement à une coexistence entre chercheurs et IA.
Le contexte est particulièrement mouvementé. En octobre, OpenAI a rendu publics plus de 700 manuscrits mathématiques générés avec l’aide de l’IA et annoncé des avancées sur plusieurs problèmes ouverts, dont les démonstrations doivent encore être évaluées par des spécialistes. Quelques semaines auparavant, Anthropic avait déjà utilisé Claude pour formaliser dans le langage Lean une preuve informatique complète du dernier théorème de Fermat.
Organisée à l’initiative du Laboratoire fabrique de pensée critique de l’INSA Rennes, la rencontre parisienne a fait émerger de nombreuses pistes : journées de recherche sans IA, soutenances de thèse plus approfondies, formation aux enjeux techniques et éthiques, ou encore création d’IA universitaires ouvertes et non commerciales. Certains participants imaginent même un « CERN de l’IA », infrastructure internationale mise au service de la recherche.
La question dépasse toutefois la simple capacité des machines à produire des preuves. Le mathématicien Terence Tao souligne que la recherche consiste aussi à comprendre, expliquer, relier et intégrer les résultats dans un savoir collectif.
Cette réflexion gagne désormais les institutions. La Simons Foundation, avec Anthropic et OpenAI, a annoncé 15 millions de dollars de financements et de ressources pour aider les mathématiciens à évaluer les résultats produits avec l’IA et à définir leurs propres standards.