Une formule publiée presque en passant sur X vient peut-être de refermer l’un des dossiers les plus célèbres de l’algèbre moderne. Le 20 juillet 2026, le mathématicien Levent Alpöge, chercheur chez Anthropic, a présenté un contre-exemple explicite à la conjecture jacobienne, un problème associé à Ott-Heinrich Keller depuis 1939. Il attribue la construction à un échange avec Claude Fable 5, après qu’un collègue prénommé Akhil a posé la question.
La prudence est habituellement obligatoire face à ce genre d’annonce. La conjecture jacobienne est connue pour avoir attiré de nombreuses démonstrations erronées, parfois publiées avant qu’une faille subtile ne soit découverte. Mais cette fois, le résultat ne repose pas sur une preuve longue et difficile à auditer. Il tient dans un objet mathématique concret et dans deux vérifications exactes : un déterminant constant, puis trois entrées différentes qui produisent la même sortie.
Ces calculs peuvent être reproduits en quelques secondes avec un logiciel de calcul formel. Ils confirment le cœur de l’annonce. Le récit complet de la recherche, le rôle précis du modèle et l’examen historique par la communauté restent encore à documenter, mais le certificat mathématique lui-même est déjà beaucoup plus solide qu’une simple affirmation virale.
Une question de calcul différentiel devenue un monument de l’algèbre
La conjecture jacobienne part d’une idée familière aux étudiants en calcul différentiel : le déterminant jacobien mesure la manière dont une transformation déforme localement l’espace.
Prenons une fonction qui transforme un point décrit par plusieurs coordonnées en un autre point. Si son déterminant jacobien ne s’annule pas, la transformation possède localement une fonction inverse. Autour d’un point donné, elle ne plie pas l’espace au point de confondre immédiatement deux positions voisines.
La question de Keller était plus ambitieuse. Pour une transformation dont toutes les coordonnées sont des polynômes, un déterminant jacobien constant et non nul suffit-il à garantir une inverse globale, elle aussi polynomiale ?
En une variable, le résultat paraît naturel. Si la dérivée d’un polynôme est une constante non nulle, ce polynôme est simplement une fonction affine, donc facilement inversible. La conjecture affirmait que cette rigidité survivait avec plusieurs variables.
Pendant des décennies, personne n’a réussi à la démontrer ni à produire un contre-exemple sur les nombres complexes. Le problème figurait même dans la liste de Stephen Smale des grandes questions mathématiques pour le XXIe siècle. Un article publié début 2026 dans le Journal of the London Mathematical Society la décrivait encore comme l’un des problèmes ouverts majeurs des mathématiques, non résolu même en dimension deux.
Le contre-exemple se vérifie avec deux certificats très courts
Alpöge a publié une transformation de l’espace complexe à trois dimensions vers lui-même. Pour la rendre un peu plus lisible, posons u = 1 + xy. Ses trois coordonnées sont :
P = u³z + y²u(4 + 3xy)
Q = y + 3xu²z + 3xy²(4 + 3xy)
R = 2x − 3x²y − x³z
À première vue, cette formule ne ressemble pas à une révolution. Sa force apparaît lorsque l’on calcule la matrice des dérivées partielles de P, Q et R. Son déterminant se simplifie exactement en :
det JF = −2
Il est donc constant et jamais nul. La transformation satisfait bien l’hypothèse de la conjecture jacobienne.
Reste à regarder son comportement global. Les trois points distincts suivants :
(0, 0, −1/4)
(1, −3/2, 13/2)
(−1, 3/2, 13/2)
sont tous envoyés vers le même point :
(−1/4, 0, 0)
Une fonction qui associe la même sortie à trois entrées différentes n’est pas injective. Elle ne peut donc pas posséder d’inverse globale. Les deux faits placés côte à côte — déterminant jacobien constant et collision explicite — suffisent à réfuter la conjecture en dimension trois.
Il n’y a ici ni approximation décimale, ni simulation statistique, ni confiance accordée à une réponse en langage naturel. Les identités s’effectuent sur des nombres rationnels et des polynômes. Un script SymPy de quelques lignes reproduit le déterminant et les trois substitutions.
L’inversibilité locale ne contrôle pas ce qui arrive à l’infini
Le résultat paraît paradoxal : comment une transformation peut-elle être localement inversible partout, tout en associant plusieurs points à une seule sortie ?
La distinction importante est celle entre le local et le global. Le théorème d’inversion locale garantit qu’autour de chaque point fini, la transformation se comporte proprement. Il n’empêche pas plusieurs « couches » éloignées de l’espace de recouvrir une même région cible.
Une explication détaillée publiée dans les heures suivant l’annonce montre que la transformation exploite précisément une fuite vers l’infini. Les différentes branches ne fusionnent pas en un point où le déterminant s’annulerait. Certaines peuvent s’éloigner indéfiniment tandis que leur image reste bornée. Le contrôle local reste intact, mais la correspondance globale cesse d’être univoque.
Cette faille est d’autant plus frappante qu’une étude historique publiée en juin 2026 dans les Comptes Rendus Mathématique rappelait déjà que le principal obstacle aux approches algébro-géométriques était le contrôle du comportement à l’infini.
Ce que Claude Fable 5 semble avoir réellement apporté
Le message d’Alpöge crédite Fable pour le travail ayant produit l’exemple. New Scientist rapporte qu’il s’agit, selon des spécialistes interrogés, du problème mathématique le plus difficile jusqu’ici débloqué avec l’aide d’une IA.
Cette attribution ne permet toutefois pas encore de reconstruire précisément la découverte. Le transcript complet, le nombre de tentatives, les indications données au modèle, les calculs intermédiaires et les éventuels outils utilisés n’étaient pas publics au moment de la rédaction. Il serait donc excessif de raconter qu’un chatbot aurait, seul et spontanément, choisi puis résolu un problème vieux de 87 ans.
Le scénario vérifiable est plus sobre et plus intéressant. Un mathématicien qualifié a dirigé la recherche sur une question précise. Un modèle de raisonnement a participé à l’exploration et proposé une construction. Le résultat a ensuite été réduit à un certificat extrêmement court que n’importe quel spécialiste peut contrôler indépendamment du modèle.
Cette séparation entre découverte et validation est essentielle. Une IA générative peut halluciner une référence ou sauter une étape dans une preuve. Mais lorsqu’elle produit un candidat qui se ramène à des identités algébriques exactes, sa sortie n’a pas besoin d’être crue : elle peut être testée.
Le mérite scientifique ne disparaît pas pour autant derrière le bouton « vérifier ». L’espace des transformations polynomiales possibles est immense. Trouver une formule de degré modéré qui satisfait simultanément un déterminant constant et une collision globale revient à repérer une aiguille dans une botte de foin algébrique. La facilité du contrôle final ne dit rien de la difficulté de la recherche.
La dimension deux résiste encore
Le contre-exemple détruit la conjecture générale, mais ne ferme pas tous les sous-problèmes. Il vit en dimension trois. En ajoutant des coordonnées laissées inchangées, on obtient immédiatement des contre-exemples dans toutes les dimensions supérieures.
Le cas de deux variables demeure, lui, ouvert. Cette nuance est importante : dire que « la conjecture jacobienne est fausse » est correct pour son énoncé général, mais cela ne signifie pas que toutes les versions étudiées depuis des décennies viennent d’être résolues.
La suite du travail mathématique consistera notamment à comprendre comment la construction a été trouvée, à la simplifier, à déterminer les familles auxquelles elle appartient et à mesurer ses conséquences sur les conjectures reliées. Un premier texte de Zihan Zhang examine déjà plusieurs implications en théorie des invariants et sur des conjectures de moments ou d’annulation.
Il faudra aussi établir une attribution scientifique plus formelle. Le résultat est parti d’un message sur un réseau social, avant la publication d’un article de recherche exposant la méthode et son contexte bibliographique. Le certificat peut être exact tandis que l’histoire de sa découverte reste incomplète. Les deux questions ne doivent pas être confondues.
Après les benchmarks, l’IA est jugée sur des résultats nouveaux
Cette actualité arrive deux mois après qu’un modèle d’OpenAI a produit un contre-exemple à une conjecture de Paul Erdős en géométrie discrète. La répétition commence à compter davantage que chaque démonstration isolée.
Les performances aux olympiades ou aux benchmarks mesurent la capacité d’un modèle à résoudre des problèmes préparés dont la réponse est connue. Une contribution à un problème ouvert impose une autre épreuve : produire quelque chose que la communauté ne possédait pas encore, puis laisser des experts hostiles à l’erreur tenter de le démolir.
La conjecture jacobienne offre presque un cas idéal pour ce nouveau régime. Le problème est prestigieux, le résultat annoncé est original et sa vérification centrale est exceptionnellement compacte. Le risque de confondre éloquence et exactitude y est plus faible que dans une longue synthèse scientifique ou une hypothèse biologique encore non testée.
Cela ne rend pas tous les domaines soudainement automatisables. Les mathématiques bénéficient de certificats exacts. En biologie, en climatologie ou en médecine, une idée prometteuse doit encore affronter des expériences, des données imparfaites et des phénomènes que le modèle ne peut pas simuler entièrement. Même en mathématiques, un contre-exemple court ne prouve pas qu’un système sait bâtir régulièrement des théories ou conduire seul un programme de recherche.
La vraie rupture tient autant à la vérification qu’à la découverte
Le résultat attribué à Claude Fable 5 ne marque pas la fin du métier de mathématicien. Il montre plutôt une nouvelle répartition possible du travail : l’humain choisit une question féconde, construit le contexte et juge l’intérêt ; le modèle explore rapidement un espace de pistes ; le calcul formel vérifie les identités ; la communauté interprète, généralise et attribue.
Le point le plus important n’est donc pas qu’une IA ait formulé une réponse spectaculaire. C’est qu’elle ait aidé à produire un objet nouveau qui survit à une vérification indépendante. Dans un secteur saturé de démonstrations soigneusement mises en scène, cette différence est décisive.
Il reste à attendre un exposé complet d’Alpöge et de ses collaborateurs, ainsi que les réactions détaillées des spécialistes de la conjecture. Mais le seuil principal est déjà franchi : la discussion ne porte plus seulement sur la plausibilité d’un texte généré. Elle porte sur un contre-exemple exact, reproductible et assez simple pour que l’autorité du modèle ne joue aucun rôle dans son acceptation.
Références
- Levent Alpöge — annonce originale du contre-exemple, 20 juillet 2026
- Zihan Zhang — vérification et conséquences du contre-exemple en dimension trois, 20 juillet 2026
- Alexis Gallagher — explication interactive et vérification indépendante du contre-exemple
- New Scientist — « AI’s solution to 87-year-old riddle takes mathematicians by surprise », 20 juillet 2026
- Journal of the London Mathematical Society — présentation de la conjecture jacobienne avant l’annonce, 2026
- Comptes Rendus Mathématique — « Sur l’origine de la conjecture jacobienne », juin 2026
