L’IA “FORMALISE” LE DERNIER THÉORÈME DE FERMAT EN SEULEMENT ONZE JOURS
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.
