É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…