Axiom IA résout quatre problèmes mathématiques avec vérification formelle0
- LLMs
- 05 Feb à 11:39
Une startup IA nommée Axiom vient de résoudre quatre problèmes mathématiques non résolus depuis des années, en combinant des grands modèles de langage avec un système de vérification formelle. Les preuves, publiées sur arXiv en février 2026, marquent une avancée significative dans le raisonnement mathématique automatisé, sans toutefois solutionner les énigmes les plus célèbres.
LIRE LA SUITE





















