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.
Source link : https://www.courrierinternational.com/article/mathematiques-l-ia-formalise-le-dernier-theoreme-de-fermat-en-seulement-onze-jours_268898
Author :
Publish date : 2026-09-08 16:48:00
Copyright for syndicated content belongs to the linked Source.