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

Le Monde PixelsSeptember 11, 2026fr

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.

This is a short summary published by AI Global Wire. The full article is owned and hosted by Le Monde Pixels — open it there to read it in full.

• Anthropic
• Agenter