L’intelligence artificielle vient une nouvelle fois de repousser les limites de la recherche scientifique. En plein match Espagne-Argentine de la Coupe du monde, une avancée majeure a secoué le monde des mathématiques : la résolution d’un problème ouvert depuis 1939. Le modèle Fable 5, développé par Anthropic, a produit un contre-exemple de seulement 216 caractères qui invalide définitivement la célèbre conjecture de Jacobi. Cette prouesse, à la fois technique et symbolique, relance le débat sur le rôle des IA dans la découverte scientifique.
Cette percée intervient dans un contexte où les outils d’intelligence artificielle s’imposent progressivement comme des alliés incontournables pour les chercheurs. Pourtant, rares sont les cas où une IA parvient à résoudre un problème mathématique d’une telle envergure, connu bien au-delà des cercles spécialisés. La communauté scientifique, partagée entre fascination et prudence, examine désormais les implications de cette démonstration qui pourrait redéfinir les méthodes de recherche en mathématiques.
Comment une IA a bouleversé un problème mathématique historique
La conjecture de Jacobi : un défi centenaire
Formulée en 1939 par le mathématicien allemand Ott-Heinrich Keller, la conjecture de Jacobi postulait qu’une application polynomiale dont le déterminant jacobien est une constante non nulle devait nécessairement admettre un inverse polynomial. Ce problème, suffisamment accessible pour être compris des mathématiciens tout en restant insaisissable, figurait depuis 1998 sur la liste des grands défis du XXIe siècle établie par Stephen Smale, lauréat de la médaille Fields.
Pendant près de neuf décennies, cette hypothèse a résisté à toutes les tentatives de démonstration ou de réfutation. Les chercheurs s’accordaient à penser qu’une solution, si elle existait, nécessiterait une approche révolutionnaire. C’est pourtant une méthode inattendue qui a permis de trancher la question : l’utilisation d’un modèle d’intelligence artificielle.
Le contre-exemple qui a tout changé
Le 20 juillet 2026, alors que le monde entier suivait la finale de la Coupe du monde, le mathématicien Levent Alpöge, affilié à Harvard et à Anthropic, a publié un message concis sur la plateforme X. Ce tweet contenait un contre-exemple formel sous la forme d’une application polynomiale de C³ dans C³, accompagnée de trois points distincts envoyés sur une même image.
Le modèle Fable 5 d’Anthropic, présenté au public le 9 juin précédent, a généré cette solution en travaillant en arrière-plan pendant le match. Le contre-exemple présente un déterminant jacobien constant égal à -2, tout en démontrant que trois points différents – (0, 0, -1/4), (1, -3/2, 13/2) et (-1, 3/2, 13/2) – aboutissent au même résultat (-1/4, 0, 0). Cette non-injectivité, vérifiée indépendamment via Wolfram Alpha dans les heures suivant sa publication, prouve que la conjecture initiale était fausse.
Réactions et implications : entre enthousiasme et réserves
Une avancée saluée par les plus grands noms
La nouvelle a rapidement suscité des réactions dans la communauté mathématique. Timothy Gowers, médaillé Fields, a qualifié ce résultat de « plutôt incroyable », soulignant qu’il s’agissait de la première fois qu’une IA résolvait un problème d’une telle notoriété en dehors de son domaine d’expertise spécifique. Pour beaucoup, cette démonstration marque un tournant dans l’utilisation des outils d’intelligence artificielle pour la recherche fondamentale.
Cependant, tous les spécialistes n’adoptent pas le même ton d’enthousiasme. Andrew Blumberg, mathématicien à l’université Columbia, rappelle qu’un contre-exemple, aussi spectaculaire soit-il, ne fournit pas nécessairement une compréhension approfondie des mécanismes sous-jacents. Selon lui, cette découverte relève davantage d’une exploration systématique d’un espace combinatoire immense que d’une véritable percée conceptuelle.
Comparaison avec d’autres avancées récentes
Cette performance contraste avec d’autres exploits récents de l’IA en mathématiques. En mai 2026, un modèle d’OpenAI avait produit une preuve autonome pour un problème d’Erdős en établissant des liens innovants entre géométrie discrète et théorie algébrique des nombres. Dans ce cas précis, l’IA avait élaboré un raisonnement original plutôt que de parcourir méthodiquement un espace de solutions.
La conjecture de Jacobi réfutée par Fable 5 concernait le cas n=3. Le cas n=2, considéré comme le plus riche sur le plan théorique, reste quant à lui ouvert. Cette situation illustre bien les limites actuelles des IA : capables de résoudre des problèmes spécifiques, elles peinent encore à généraliser leurs découvertes ou à fournir des cadres théoriques complets.
FAQ
Qu’est-ce que la conjecture de Jacobi exactement ?
La conjecture de Jacobi, formulée en 1939, affirmait qu’une application polynomiale avec un déterminant jacobien constant non nul devait admettre un inverse polynomial. Cette hypothèse a été invalidée par un contre-exemple généré par une IA en 2026.
Pourquoi cette découverte est-elle considérée comme majeure ?
Ce problème figurait parmi les grands défis mathématiques du XXIe siècle. Sa résolution par une IA marque une étape importante dans l’utilisation de ces outils pour la recherche scientifique fondamentale.
Comment l’IA a-t-elle procédé pour trouver ce contre-exemple ?
Le modèle Fable 5 d’Anthropic a exploré systématiquement un vaste espace combinatoire de polynômes jusqu’à identifier une configuration qui invalide la conjecture, sans élaborer de raisonnement théorique complexe.
Cette découverte change-t-elle notre compréhension des mathématiques ?
Elle clôt un débat vieux de 87 ans, mais ne fournit pas de nouvelle théorie. Certains mathématiciens estiment que l’apport conceptuel reste limité, bien que la performance technique soit remarquable.
Conclusion
L’invalidation de la conjecture de Jacobi par une intelligence artificielle marque un tournant dans l’histoire des mathématiques. Cette prouesse, réalisée en seulement 216 caractères, démontre le potentiel croissant des modèles d’IA pour résoudre des problèmes complexes qui résistaient jusqu’alors aux approches traditionnelles. Si certains y voient une révolution comparable à l’avènement des calculateurs, d’autres soulignent que cette découverte relève davantage de la force brute que d’une véritable avancée théorique.
Quoi qu’il en soit, cet événement relance le débat sur la place des outils d’intelligence artificielle dans la recherche scientifique. Capables d’explorer des espaces combinatoires inaccessibles à l’esprit humain, ces modèles ouvrent de nouvelles perspectives, tout en posant des questions sur leur capacité à générer des connaissances fondamentales. Une chose est certaine : les mathématiques, comme de nombreuses autres disciplines, entrent dans une ère où l’humain et la machine collaborent pour repousser les limites de la connaissance.
Besoin d'un technicien ?
Notre équipe est disponible en boutique à Vaujours du lundi au samedi. Diagnostic gratuit, devis sans engagement.
