Une startup californienne affirme avoir résolu quatre problèmes mathématiques réputés insolubles grâce à son outil d’intelligence artificielle capable de produire des démonstrations vérifiées. Parmi ces avancées figure la résolution d’une conjecture bloquée depuis cinq ans.

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.