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

L’agent d’Anthropic a traduit cette preuve d’une complexité hors norme dans un langage de programmation, permettant de la vérifier automatiquement. Cette expérience ouvre la voie à de possibles progrès dans la validation des résultats mathématiques.