Claude réalise la première preuve vérifiée par ordinateur du dernier théorème de Fermat
9/10Le 7 septembre 2026, Claude a accompli la première preuve du théorème de Fermat entièrement vérifiée par ordinateur, marquant une étape majeure dans l'utilisation de l'intelligence artificielle pour la vérification mathématique. Cette avancée historique démontre la capacité de Claude à traiter et valider des preuves mathématiques complexes avec une fiabilité accrue.
