Fable 5 Disproves Jacobian Conjecture, Researcher Says

Levent Alpöge, chercheur chez Anthropic, a annoncé que Claude Fable 5 a réfuté la conjecture jacobienne, un problème de géométrie algébrique vieux de 87 ans qui résistait à toute solution depuis qu'Ott-Heinrich Keller l'a posé en 1939. Le résultat — vérifié dans l'assistant de preuve Lean en quelques heures, a déclaré Kevin Buzzard, mathématicien à l'Imperial College, à Fortune — marque la deuxième fois en deux semaines que l'IA frontalière produit des résultats sur des problèmes qui définissaient des questions ouvertes depuis des générations, rapporte Fortune.

Ce qui s'est passé

Le 20 juillet, Levent Alpöge, chercheur chez Anthropic, a annoncé sur X qu'il avait utilisé Claude Fable 5 pour trouver un contre-exemple à la conjecture jacobienne (Alpöge, 2026). Le post a attiré plus de 30 millions de vues. Le lendemain matin, la preuve avait été vérifiée dans Lean.

La conjecture concerne ce que les mathématiciens appellent les applications polynomiales — spécifiquement, la question de savoir si une application dont le déterminant jacobien est une constante non nulle doit être inversible de manière unique. Le contre-exemple d'Alpöge a produit trois entrées différentes aboutissant à la même sortie tout en maintenant un déterminant jacobien constant de −2, réfutant l'affirmation centrale de la conjecture.

« C'est un grand jour, » a déclaré Kevin Buzzard, mathématicien à l'Imperial College, à Fortune.

Deux semaines plus tôt, OpenAI avait attribué une preuve de la conjecture du double recouvrement par cycles — un autre problème longtemps ouvert, celui-ci en théorie des graphes — à GPT-5.6 Sol (AI Weekly, 2026), bien que cette affirmation n'ait pas été évaluée par des pairs indépendants. C'est la cadence qui marque les esprits : l'IA frontalière produit maintenant des résultats sur des problèmes qui ont résisté à toute solution pendant des décennies.

Pourquoi c'est important

Ce n'est pas de la force brute. OpenAI aurait utilisé un parallélisme massif — 64 sous-agents. Anthropic a utilisé un seul chercheur dans une session ciblée avec Fable 5. La diversité des approches suggère que l'IA frontalière est largement capable à travers les paradigmes.

L'écart entre vérification et compréhension est réel. Le mathématicien de l'Université de Chicago Akhil Mathew a saisi la tension : « On peut vérifier que c'est correct, mais ce serait bien de pouvoir raconter une histoire. » L'IA produit la preuve mais ne peut pas expliquer comment elle y est arrivée.

Ni OpenAI ni Anthropic n'ont construit ces modèles pour les mathématiques. Fable 5 et GPT-5.6 Sol ont été entraînés comme modèles frontaliers généralistes. Résoudre des conjectures comme effet secondaire est le vrai signal.

Ce qui change pour vous

C'est un signal de capacité, pas un changement de produit. Le verdict du répertoire de Fable 5 reste Conditional.

Si vous travaillez en mathématiques de recherche :

• Explorez les modèles frontaliers pour la découverte de preuves. Le résultat d'Alpöge démontre qu'un chercheur seul peut s'attaquer à des problèmes qui définissent un champ.
• La vérification Lean change le modèle de confiance. Les preuves générées par l'IA vérifiées par machine éliminent les goulets d'étranglement de la révision par les pairs qui duraient des mois.
• Ne vous attendez pas à ce que l'IA remplace l'intuition mathématique. Savoir quoi demander reste une compétence humaine.

FAQ

Qu'est-ce que la conjecture jacobienne ? Un problème de géométrie algébrique posé par Ott-Heinrich Keller en 1939. Alpöge a trouvé un contre-exemple réfutant la conjecture.

Cela a-t-il été résolu entièrement par l'IA ? Non. Alpöge a guidé Fable 5 à travers le problème. L'IA était un outil, pas un mathématicien autonome.

Est-ce la première fois que l'IA résout un problème mathématique majeur ? Non. L'IA frontalière produit des mathématiques publiables depuis des mois. La conjecture jacobienne est le résultat le plus important jusqu'ici.