Mathématiques. L’IA “formalise” le dernier théorème de Fermat en seulement onze jours

 https://www.courrierinternational.com/article/mathematiques-l-ia-formalise-le-dernier-theoreme-de-fermat-en-seulement-onze-jours_268898