Le modèle d’intelligence artificielle Claude a généré treize millions de lignes de code vérifiables par ordinateur permettant de démontrer numériquement le dernier théorème de Fermat. Aucun mathématicien humain n’y était encore pas parvenu.
International
L’IA “FORMALISE” LE DERNIER THÉORÈME DE FERMAT EN SEULEMENT ONZE JOURS
08 septembre 2026
1 min de lecture
