Skip to content
Intelligence IASep 4, 2026Video
Article

Claude, le modèle 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 importante dans la recherche mathématique assistée par l'IA.

Redaction Data Cube AISource: AI Explained
01

Brief source

Claude, le modèle 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 importante dans la recherche mathématique assistée par l'IA.