💡 Pourquoi c'est important
Cette prouesse pourrait accélérer la vérification des résultats scientifiques et rendre les preuves mathématiques plus accessibles et moins sujettes aux erreurs.
🔑 Points clés
- L’IA Claude a formalisé en 11 jours la preuve du théorème de Fermat, validée par un mathématicien humain
- La formalisation consiste à traduire une démonstration mathématique en code informatique vérifiable
- Cette avancée montre le potentiel de l’IA pour automatiser des tâches complexes en #Mathématiques
📝 Résumé
Un prototype d’#Intelligence artificielle nommé Claude a réussi en seulement onze jours ce que des mathématiciens peinaient à faire depuis des années : traduire en langage informatique la preuve du dernier théorème de Fermat. Ce théorème, énoncé en 1637, affirme qu’il n’existe pas de nombres entiers a, b et c qui vérifient l’équation aⁿ + bⁿ = cⁿ pour n supérieur à 2. Andrew Wiles avait démontré ce théorème en 1995, mais sa preuve complexe n’avait jamais été formalisée en code vérifiable par ordinateur. L’IA n’a pas inventé de nouvelle maths, mais elle a automatisé une étape fastidieuse, ouvrant la porte à des vérifications plus rapides et plus fiables des démonstrations #Mathématiques.