L’agent d’Anthropic, Claude, a formalisé en seulement onze jours la démonstration du dernier théorème de Fermat, marquant une avancée significative dans l’application de l’intelligence artificielle aux mathématiques pures.
Cette prouesse technique a consisté à traduire l’intégralité de la preuve, reconnue pour sa complexité hors norme et sa longueur, dans un langage de programmation spécifique. Cette formalisation permet désormais une vérification automatique et rigoureuse de chaque étape du raisonnement mathématique, un processus traditionnellement long et sujet à l’erreur humaine.
L’expérience menée avec Claude ouvre des perspectives importantes pour la validation et la certification des résultats mathématiques. La capacité d’une IA à manipuler et à structurer des raisonnements aussi élaborés pourrait potentiellement accélérer la découverte de nouvelles preuves et renforcer la fiabilité des démonstrations complexes dans divers domaines scientifiques.
Cette interaction entre l’intelligence artificielle et des concepts mathématiques de haut niveau suggère de futures évolutions dans la recherche et la vérification scientifique.
Source : Le Monde Pixels