Courrier international – L’ #IA “formalise” le dernier #Rhéorème de #Fermat en seulement 11 jours , er 13 millions de lignes de #code vérifiables par #ordinateur .
Aucun #mathématicien #humain n’y était encore pas parvenu

www.courrierinternational.com/article/math...