Édition du samedi 5 septembre 2026
Anthropic affirme que Claude a travaillé « en grande partie de manière autonome » pendant 11 jours pour formaliser la démonstration du dernier théorème de Fermat dans le langage de programmation Lean
Lire l’article original sur Anthropic →
Nous partageons la première démonstration complète du dernier théorème de Fermat vérifiée par ordinateur. Claude a travaillé en grande partie de manière autonome pendant 11 jours…
Anthropic says Claude worked “largely autonomously” over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language
We are sharing the first complete computer-checked proof of Fermat's Last Theorem. Claude worked largely autonomously over 11 days…