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.
5News a agrégé ce résumé depuis le flux public du média. L'article complet, avec tout le contexte, est sur www.lemonde.fr — le contenu appartient à Le Monde.
