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.