L'IA vient de résoudre un problème mathématique vieux de 350 ans en écrivant la preuve la plus longue jamais réalisée

Résumé en 60 mots

L'IA Claude d'Anthropic consacre onze jours à générer une preuve de 13 millions de lignes pour le dernier théorème de Fermat, la preuve vérifiée par ordinateur la plus longue à ce jour. Le système écrit du code qui se vérifie lui‑même sans supervision humaine, démontrant un raisonnement mathématique autonome. Cette percée montre le potentiel de l'IA à s'attaquer à des problèmes complexes et non résolus, ce qui devrait accélérer les pipelines de recherche et attirer davantage d'investissements dans la découverte scientifique pilotée par l'IA.