Le point sur : L’IA Claude parvient à formaliser en onze jours la démonstration du dernier théorème de Fermat

Le Monde — Une fait état d'une évolution concernant « Le point sur : L’IA Claude parvient à formaliser en onze jours la démonstration du dernier théorème de Fermat », sans que l'extrait disponible permette d'élargir le récit au-delà des faits cités.

Le compte rendu disponible indique que l’agent d’Anthropic a traduit cette preuve d’une complexité hors norme dans un langage de programmation, permettant de la vérifier automatiquement. Le reportage précise également que Cette expérience ouvre la voie à de possibles progrès dans la validation des résultats mathématiques.

Les déclarations, appréciations et chiffres éventuels restent attribués aux personnes ou organismes cités par la source. L'extrait ne constitue pas à lui seul un dossier documentaire complet et ne présente pas nécessairement la réponse de toutes les parties concernées.

Des communiqués officiels ou des mises à jour ultérieures pourraient apporter un contexte supplémentaire. En l'état, ce compte rendu se limite aux éléments directement étayés par le titre et l'extrait transmis.