L’IA ne progresse plus en mathématiques. Elle accélère.
Des Olympiades aux problèmes ouverts, les modèles franchissent les étapes à une vitesse qui commence à rendre nos benchmarks obsolètes.
En mars 2025, AlphaGeometry2 dépassait le niveau moyen des médaillés d’or des Olympiades internationales de mathématiques (ouvre un nouvel onglet).
Quelques mois plus tard, je parlais d’une déflagration mathématique (ouvre un nouvel onglet), puis d’un changement plus profond dans la pratique même de la discipline : l’IA transforme les mathématiciens en physiciens (ouvre un nouvel onglet), capables de faire explorer massivement des hypothèses par la machine avant de chercher à les comprendre et à les démontrer.