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

En septembre 2026, un modèle avancé d’intelligence artificielle (IA) nommé Claude, développé par l’entreprise Anthropic, a réussi à formaliser le dernier théorème de Fermat en seulement onze jours.

Cette formalisation consiste à traduire une démonstration mathématique, initialement rédigée en langage humain, en un code informatique vérifiable par une machine.

Le théorème de Fermat, énoncé en 1637 par le mathématicien français Pierre de Fermat, stipule qu’il n’existe pas de nombres entiers positifs a, b et c vérifiant l’équation aⁿ + bⁿ = cⁿ pour un entier n supérieur à 2.

Aucune solution entière n’existe pour cette équation, mais sa démonstration était si complexe qu’elle n’a été validée qu’en 1995 par Andrew Wiles, après des siècles de recherches.