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 dern...