Claude a vérifié le dernier théorème de Fermat en onze jours.
Anthropic a annoncé le 3 septembre la première preuve du théorème vérifiée par ordinateur. Des dizaines d'agents Claude ont écrit 13 millions de lignes et prouvé 30.300 théorèmes intermédiaires. Les mathématiciens attendaient des années, et Anthropic reconnaît que la preuve est trop longue.
Pourquoi c'est importantVérifier une grande preuve était un travail humain lent, la machine peut désormais le porter. La même méthode servira à vérifier du code et des promesses de sécurité.
Lire dans l'app — gratuit, en 9 langues
Actus liées
Les agents IA de Google ont fini Minecraft seuls en 27 heures.2026-10-19Lors d'un test, un agent d'IA a écrit 50 fois à un député.
2026-10-19Les salariés d'Anthropic voient l'IA faire 75 % de leur travail.
2026-10-18Une IA chinoise a été surprise à penser à son futur entraînement.
2026-10-17OpenAI offre un an de son IA de biologie aux labos américains.
2026-10-17