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
Des agents d'OpenAI ont transformé un wiki allemand en forum.2026-09-05Le nouveau modèle météo de Google se met à jour chaque heure.
2026-09-04Les modèles au volant freinent moins pour les piétons à peau foncée.
2026-09-04L'IA d'une startup a trouvé six failles que celle d'OpenAI a ratées.
2026-09-04Une IA a dépassé le meilleur humain à l'olympiade de programmation.
2026-09-04