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.