IA et mathématiques en 2026 : démonstrations inédites, percées scientifiques et révolution de l’enseignement

En bref. En deux ans, l’intelligence artificielle est passée de la résolution d’exercices à la production de démonstrations de niveau olympique et à l’assistance de chercheurs. Mais réussir une preuve, formaliser un théorème et faire apprendre une classe sont trois problèmes différents. Les avancées récentes nous invitent moins à supprimer le cours de mathématiques qu’à changer ce que nous demandons aux élèves : chercher, conjecturer, justifier, vérifier, discuter et réinvestir un raisonnement sans dépendre de la machine.