- De nombreux mathématiciens estiment que le domaine traverse l’un des changements les plus rapides de l’histoire, l’IA améliorant rapidement sa capacité à résoudre des problèmes et à prouver des théorèmes.
- En 2025, le mathématicien Daniel Litt pariait qu’il n’y avait que 25 % de chances que l’IA puisse écrire un article de mathématiques du niveau des meilleurs mathématiciens avant 2030, mais un an plus tard, il a admis qu’il pourrait perdre son pari.
- Il y a quelques années encore, l’IA arrivait à peine à résoudre des problèmes de lycée, mais elle est désormais capable de traiter des questions issues de la recherche mathématique réelle.
- Les systèmes d’IA de sociétés comme OpenAI et Google DeepMind ont atteint des performances équivalentes à une médaille d’or aux Olympiades Internationales de Mathématiques.
- En janvier 2026, des mathématiciens ont commencé à utiliser l’IA pour résoudre certains problèmes de longue date proposés par le mathématicien Paul Erdős.
- Un nouveau projet intitulé First Proof, initié par Nikhil Srivastava à l’Université de Californie à Berkeley, vise à créer un ensemble de problèmes de recherche réels pour évaluer les capacités mathématiques de l’IA.
- Le premier ensemble de tests comprend 10 problèmes provenant de divers domaines mathématiques, avec un niveau de difficulté allant de moyen à avancé.
- L’IA d’OpenAI aurait résolu correctement environ 5/10 problèmes, tandis que le système de Google DeepMind en a résolu 6/10 selon les évaluations des experts.
- Google a développé un outil d’IA mathématique nommé Aletheia, combinant le chatbot Gemini avec des algorithmes de vérification pour détecter les erreurs dans les solutions et améliorer les résultats par itérations.
- Outre la résolution de problèmes, l’IA progresse dans la conversion de preuves manuscrites en code vérifiable par ordinateur, un processus appelé formalisation.
- La société Math, Inc. a surpris la communauté lorsque son IA Gauss a formalisé et vérifié automatiquement une preuve de Maryna Viazovska, lauréate de la médaille Fields, sur le problème de l’empilement de sphères.
- La preuve générée par l’IA compte environ 200 000 lignes de code, ce qui équivaut à environ 10 % de l’ensemble des mathématiques formalisées dans le monde.
- Les chercheurs pensent qu’à l’avenir, l’IA pourra vérifier automatiquement de nouveaux articles mathématiques et détecter les erreurs lors du processus d’examen par les pairs.
📌 Conclusion : L’IA transforme profondément la pratique des mathématiques. Les systèmes d’IA ont obtenu des scores de 5/10 à 6/10 sur des problèmes de recherche dans le projet First Proof et ont même formalisé automatiquement une preuve de niveau médaille Fields avec 200 000 lignes de code. Cette technologie peut automatiser la vérification des preuves et soutenir la recherche, mais elle soulève également des inquiétudes quant à la perte d’opportunités d’apprentissage pour les humains si les machines résolvent les problèmes trop rapidement.
