Une IA résout en 216 caractères un problème mathématique vieux de 87 ans

Pendant que le monde regardait la finale de la Coupe du monde, l’intelligence artificielle Claude Fable 5 d’Anthropic pulvérisait la conjecture de Jacobi, un casse-tête mathématique resté inaccessible depuis 1939. Un contre-exemple de trois lignes suffit à réfuter ce que des générations de mathématiciens n’avaient pu résoudre. Entre révolution scientifique et prudence méthodologique, la communauté mathématique retient son souffle.

Un dimanche qui pourrait changer l’histoire des mathématiques

Le 19 juillet 2026, alors que des milliards de spectateurs suivaient la finale de la Coupe du monde, Levent Alpöge, mathématicien à Harvard et chercheur chez Anthropic, postait un message laconique sur X (ex-Twitter) : « Bonjour à tous, la conjecture de Jacobi est fausse. » Suivait une formule mathématique tenant en 216 caractères, soit moins qu’un tweet standard.

L’annonce a provoqué un séisme dans la communauté mathématique mondiale. Selon Fortune, Kevin Buzzard, mathématicien à l’Imperial College London, découvrait la nouvelle à son réveil le lendemain matin. « À l’heure du déjeuner, c’était le seul sujet de conversation dans tout le département de mathématiques pures », rapporte-t-il. Le post d’Alpöge a depuis dépassé les 20 millions de vues.

La conjecture de Jacobi, formulée en 1939 par le mathématicien allemand Ott-Heinrich Keller, porte sur les applications polynomiales et leur réversibilité. En termes simplifiés, elle postule que certaines fonctions mathématiques possédant des propriétés locales spécifiques (un déterminant jacobien constant et non nul) doivent nécessairement être globalement réversibles. Ce problème figurait sur la liste des 18 défis mathématiques majeurs du XXIe siècle établie par Stephen Smale en 1998.

Fable 5 : quand l’IA entre en territoire mathématique

Selon Alpöge, le contre-exemple a été découvert avec l’aide de Claude Fable 5, le dernier modèle d’intelligence artificielle développé par Anthropic, concurrent direct d’OpenAI. Dans son message, le chercheur remercie « son ami Akhil pour la question » et « son autre ami Fable pour le travail pendant la finale du championnat du monde ».

Le contre-exemple proposé est une application polynomiale de trois variables complexes dont le déterminant jacobien vaut constamment -2. Pourtant, cette fonction envoie trois points distincts — (0, 0, -1/4), (1, -3/2, 13/2) et (-1, 3/2, 13/2) — vers un unique point de sortie : (-1/4, 0, 0). Cette propriété contredit directement la conjecture, qui affirmait qu’une telle situation était impossible.

L’élégance du résultat tient à sa vérifiabilité immédiate. Comme le souligne le site spécialisé Signals, « ce contre-exemple est si compact qu’on peut le vérifier à la main ». Plusieurs mathématiciens ont effectivement reproduit les calculs en quelques heures, confirmant la validité arithmétique de la formule.

Cette percée s’inscrit dans une série de succès récents de l’IA en mathématiques. En mai 2026, un modèle d’OpenAI avait résolu le problème des distances unitaires, une énigme vieille de 80 ans posée par Paul Erdős. Deux mois plus tard, Claude franchit une nouvelle étape avec un problème jugé encore plus difficile par les experts.

Entre euphorie et scepticisme : la validation en suspens

Malgré l’enthousiasme initial, la prudence reste de mise dans la communauté scientifique. « C’est plutôt incroyable », titre Les Numériques, tout en notant que les mathématiciens « oscillent entre euphorie et scepticisme mesuré ».

Plusieurs zones d’ombre demeurent. D’abord, aucune publication scientifique formelle n’a encore été soumise. L’annonce via les réseaux sociaux, bien que spectaculaire, ne remplace pas le processus de validation par les pairs (peer review) qui constitue la norme en recherche académique.

Ensuite, la contribution respective de l’humain et de la machine reste floue. Alpöge n’a pas détaillé le processus de collaboration avec Fable 5 : l’IA a-t-elle généré le contre-exemple de manière autonome, ou a-t-elle assisté le mathématicien dans une exploration guidée ? Cette distinction est cruciale pour évaluer les capacités réelles du modèle.

Enfin, des questions techniques subsistent. Le cas à deux variables de la conjecture reste ouvert, et certains mathématiciens s’interrogent sur les mécanismes profonds qui rendent ce contre-exemple efficace. « Le fait que personne ne l’ait trouvé en 87 ans suggère soit une zone aveugle cognitive humaine, soit une complexité sous-jacente non encore élucidée », analyse un expert cité par New Scientist.

Anthropic marque des points dans la course à l’IA scientifique

Pour Anthropic, cette annonce arrive à point nommé. Fondée par d’anciens cadres d’OpenAI, l’entreprise développe une approche alternative baptisée « Constitutional AI », visant à créer des systèmes à la fois puissants et alignés sur les valeurs humaines. Avec des levées de fonds massives — dont 2 milliards de dollars de Google en 2023 —, Anthropic devait démontrer la valeur concrète de sa technologie.

« Si ce résultat est confirmé, il réfute le narratif selon lequel il faut choisir entre IA puissante et IA sûre », analyse un observateur du secteur. La capacité de Fable 5 à résoudre un problème de recherche fondamentale tout en maintenant des garde-fous éthiques pourrait influencer les débats sur la régulation de l’IA.

La concurrence ne chôme pas. OpenAI a annoncé en juillet 2026 que son modèle GPT-5.6 Sol Ultra avait prouvé la conjecture du recouvrement double par des cycles, un problème de théorie des graphes ouvert depuis 50 ans. Google DeepMind développe de son côté des systèmes spécialisés comme AlphaGeometry. La recherche mathématique devient un terrain d’affrontement stratégique entre géants de l’IA.

Implications pour la recherche scientifique

Au-delà de la conjecture de Jacobi, cette découverte soulève des questions fondamentales sur l’avenir de la recherche.

Transformation des méthodes de travail : Les mathématiciens devront-ils systématiquement collaborer avec des IA pour explorer des espaces de solutions trop vastes pour l’intuition humaine seule ? « L’IA ne remplace pas le chercheur, elle amplifie sa capacité d’exploration », estime un professeur de mathématiques cité par DN.

Questions d’attribution : Qui est l’auteur d’une découverte assistée par IA ? Cette interrogation dépasse la simple reconnaissance académique pour toucher à la propriété intellectuelle, aux brevets et à l’éligibilité aux prix scientifiques prestigieux comme la Médaille Fields.

Risques de faux positifs : Les modèles d’IA peuvent générer des résultats apparemment valides mais contenant des erreurs subtiles. Le processus de validation devient d’autant plus crucial que les preuves produites peuvent dépasser la capacité de vérification humaine immédiate.

Accélération potentielle : Si l’IA peut effectivement s’attaquer aux problèmes ouverts historiques, des décennies de conjectures non résolues pourraient tomber en cascade. Cette perspective enthousiasme autant qu’elle inquiète : que restera-t-il de la créativité mathématique humaine ?

Les prochaines étapes : de la sensation à la science établie

Plusieurs développements sont attendus dans les semaines et mois à venir. D’abord, la publication formelle du contre-exemple sur arXiv, la plateforme de prépublication scientifique, puis sa soumission à une revue mathématique à comité de lecture.

Des équipes indépendantes tenteront de vérifier non seulement l’exactitude arithmétique du contre-exemple, mais aussi sa complétude mathématique. Certains chercheront à comprendre pourquoi ce contre-exemple n’avait jamais été découvert malgré 87 ans de recherches.

La question de la reproductibilité se posera également : d’autres chercheurs pourront-ils utiliser Fable 5 pour résoudre d’autres conjectures célèbres ? Les problèmes de Goldbach, de Collatz ou l’hypothèse de Riemann sont-ils à portée de ces nouveaux outils ?

« Je pense que c’est un moment formidable pour être en vie », déclare Kevin Buzzard à Fortune. Son enthousiasme reflète celui d’une partie de la communauté scientifique, fascinée par les possibilités ouvertes. Mais il tempère : « Nous assistons à un changement très rapide et très déstabilisant. »

Conclusion : révolution ou simple étape ?

La résolution potentielle de la conjecture de Jacobi par Claude Fable 5 marque indéniablement un jalon dans l’histoire de l’intelligence artificielle appliquée aux mathématiques. Que le résultat soit finalement confirmé ou infirmé, il démontre que les IA généralistes atteignent un niveau de raisonnement permettant d’explorer sérieusement des problèmes de recherche fondamentale.

Pour Anthropic, c’est une validation éclatante de son approche technologique. Pour la communauté mathématique, c’est un signal d’alarme autant qu’une promesse : les outils changent, les méthodes doivent évoluer, mais la rigueur scientifique reste le rempart contre l’emballement.

La vraie question n’est peut-être pas de savoir si l’IA peut résoudre des problèmes mathématiques historiques — elle vient de le démontrer — mais plutôt comment organiser la collaboration homme-machine pour que ces découvertes soient à la fois fiables, reproductibles et porteuses de compréhension profonde. Car en mathématiques comme ailleurs, comprendre pourquoi une solution fonctionne importe autant que la solution elle-même.

Une interrogation demeure : dans dix ans, les mathématiciens se souviendront-ils du 19 juillet 2026 comme du jour où l’IA est devenue leur partenaire indispensable, ou comme d’une fausse alerte spectaculaire ? La réponse s’écrira dans les laboratoires, les salles de cours et les serveurs d’Anthropic.