FlexChar

Science

L'IA Claude d'Anthropic a réussi à formaliser le dernier théorème de Fermat en seulement 11 jours !

Source: Génération NT · Publié 7 sept. 2026, 14:20

F

Dans Science, Génération NT place cette histoire au centre de la journée : L'IA Claude d'Anthropic a réussi à formaliser le dernier théorème de Fermat en seulement 11 jours ! Génération NT FlexChar la retient parce qu’elle concentre recherches et discussion.

Brief éditorial FlexChar. L’article complet appartient à la source.

Lire la source originale

À lire aussi

Plus dans Science