Le Claude d'Anthropic a travaillé de manière largement autonome pendant 11 jours pour formaliser la preuve du dernier théorème de…

…Fermat dans le langage de programmation Lean, marquant une étape majeure dans la recherche mathématique assistée par IA.

Généré par IA : résumés rédigés par une IA à partir des sources citées. Notre usage de l'IA