mardi 13 janvier 2026
Cette IA a résolu un problème mathématique ouvert depuis 45 ans
Par Didier Müller, mardi 13 janvier 2026 à 06:24 - Logiciels/applets/IA
Le modèle d’IA GPT-5.2 Pro a résolu plusieurs problèmes de mathématiques, dont l’un, le 11 janvier 2026, était resté ouvert depuis 45 ans. Plus que le résultat, c’est la méthode — associant humains, assistant de preuve Lean et système d’IA Aristotle — qui pourrait transformer la pratique de la démonstration mathématique.
Lire l'article de Lisa Imperatrice sur Numerama
lu 571 fois