Aller au contenu
Dédicaces
Déposer

← Actualités

L’IA “FORMALISE” LE DERNIER THÉORÈME DE FERMAT EN SEULEMENT ONZE JOURS

· International

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.

M40 en live
M40