Un divorce inattendu : comment une IA de 216 caractères a brisé le mariage de 80 ans de la conjecture jacobienne

L'intelligence artificielle bouleverse une conjecture mathématique de 80 ans

Dans le monde des mathématiques, certaines conjectures deviennent si fondamentales, si fiables, qu'elles ressemblent moins à des questions ouvertes qu'à un socle. Ce sont les hypothèses silencieuses sur lesquelles se bâtissent d'autres théories. Pendant plus de huit décennies, la conjecture jacobienne a joui de ce statut vénéré. Proposée par Ott-Heinrich Keller en 1939, c'était un énoncé d'une élégance profonde, une promesse que dans l'univers des polynômes, le comportement local dicte la vérité globale.

« Quand je suis entré dans le monde de la recherche au début des années 1990, je n'ai jamais rencontré personne qui en doutait vraiment », explique notre source, mathématicien et journaliste scientifique. Cette certitude de longue date explique pourquoi la communauté mathématique a été sidérée par un message de quelques mots à peine du chercheur Levent Alpöge. La conjecture était fausse.

La nouvelle est arrivée comme le deuxième choc majeur de l'été. Mais ce n'était pas une démonstration — c'était une démolition. Et l'architecte de cette destruction n'était pas un humain seul, mais une collaboration entre Alpöge et un modèle d'intelligence artificielle, Claude Fable 5. L'arme du crime ? Une formule de seulement  216 caractères, balancée sur les réseaux sociaux un dimanche soir, et formellement vérifiée par d'autres mathématiciens en quelques heures à peine grâce au langage d'assistance à la preuve Lean. L'annonce laconique sonnait le glas d'une idée mathématique qui paraissait immortelle.

L'attrait d'une promesse simple

La beauté et la simplicité de la conjecture Jacobienne illustrée

Pour comprendre le choc, il faut d'abord apprécier la beauté simple de la conjecture. Elle opère dans le domaine des fonctions polynomiales de $\mathbb{C}^n$ vers $\mathbb{C}^n$ — des fonctions où l'on entre $n$ nombres complexes et l'on obtient $n$ nombres complexes en sortie, chaque sortie étant un polynôme des entrées.

Une telle fonction s'écrit

$$ F(x_1,\dots,x_n)=\big(P_1(x_1,\dots,x_n),\,P_2(x_1,\dots,x_n),\,\dots,\,P_n(x_1,\dots,x_n)\big), $$

où chaque $P_i$ est un polynôme en les variables $x_1,\dots,x_n$.

La conjecture se concentre sur le  jacobien de $F$ — le déterminant de la matrice de toutes ses dérivées partielles du premier ordre :

$$ J_F(x_1,\dots,x_n)=\det\begin{pmatrix} \frac{\partial P_1}{\partial x_1} & \cdots & \frac{\partial P_1}{\partial x_n}\\[6pt] \vdots & \ddots & \vdots\\[6pt] \frac{\partial P_n}{\partial x_1} & \cdots & \frac{\partial P_n}{\partial x_n}\end{pmatrix}. $$

Ce nombre unique est la clé qui ouvre la porte à l'information locale. Il indique comment la fonction dilate ou contracte infinitésimalement le volume en chaque point.

La conjecture jacobienne affirmait :

Si $J_F$ est une constante non nulle, alors $F$ est globalement inversible, et son inverse est également polynomial.

L'intuition est puissante. Un jacobien constant non nul signifie que la fonction n'« aplatit » jamais l'espace ; son facteur d'échelle local du volume est uniforme et ne s'effondre jamais. La conjecture insistait sur le fait qu'une telle fonction devait donc être une bijection globalement inversible, ce qu'on appelle un automorphisme polynomial. En dimension un et deux, c'est vrai. Le problème, comme l'a découvert l'IA, explose en dimension trois.

En dimension 1, la conjecture est triviale : si $F:\mathbb{C}\to\mathbb{C}$ est polynomiale et $F'(x)=c\neq 0$, alors $F(x)=cx+b$, donc $F^{-1}(y)=\frac{y-b}{c}$ est un polynôme.

En dimension 2, elle reste vraie, mais la démonstration est déjà plus subtile. Un exemple simple d'automorphisme polynomial est

$$(x,y)\mapsto (x,\, y+x^2),$$

dont le jacobien vaut $1$ et dont l'inverse est $(x,\, y-x^2)$.

Trois regards sur une même vérité

Le génie de la conjecture jacobienne est qu'elle se situe à un carrefour des mathématiques. On peut l'aborder à travers trois lentilles distinctes mais interconnectées.

La lentille analytique. Pour une fonction $C^\infty$, un jacobien non nul est la condition du théorème d'inversion locale. Il garantit qu'autour de chaque point, la fonction est un difféomorphisme local — une déformation lisse, sans déchirure et parfaitement réversible. La question pour les polynômes a toujours été : peut-on étendre ces cartes locales parfaites en une carte globale parfaite ? La croyance était que la rigidité des polynômes forcerait ces morceaux locaux à former un vêtement global unique et sans couture. La réfutation de la conjecture montre qu'en dimension supérieure, ces morceaux locaux peuvent être agencés en un vêtement global bien plus complexe et trompeur.

La lentille algébrique. Pour les algébristes, la conjecture consiste à comprendre le groupe d'automorphismes de l'algèbre de polynômes $\mathbb{C}[x_1,\dots,x_n]$. Un automorphisme est une application bijective $\Phi$ qui préserve l'addition et la multiplication :

$$\Phi(P+Q)=\Phi(P)+\Phi(Q),\qquad \Phi(PQ)=\Phi(P)\Phi(Q).$$

Comme les variables sont algébriquement indépendantes, tout choix de polynômes $P_1,\dots,P_n$ définit une application $\Phi$ en posant $\Phi(x_i)=P_i$. La conjecture jacobienne était un énoncé puissant : pour vérifier si $\Phi$ est un automorphisme, il suffit de calculer son jacobien. C'était une simplification étonnante — un seul déterminant pouvait certifier une propriété fondamentale de toute une structure algébrique.

Pour aller plus loin : la conjecture de Dixmier

 Ce cadre a conduit des mathématiciens comme Jacques Dixmier à proposer des conjectures analogues pour l'algèbre de Weyl, une algèbre non commutative engendrée par les opérateurs de multiplication par $x_i$ et les dérivées partielles $\partial/\partial x_i$, avec les relations de commutation

 $$ \left[\frac{\partial}{\partial x_i}, x_j\right]=\delta_{ij}. $$

 Dixmier a conjecturé que tout endomorphisme de cette algèbre qui est un automorphisme au niveau du jacobien est en fait un automorphisme. La réfutation de la conjecture jacobienne entraîne également celle de la conjecture de Dixmier.

La lentille topologique. Les topologues voient le problème à travers le concept de « revêtement ». Un jacobien non nul suggère un revêtement local, comme l'application exponentielle $\mathbb{R}\to S^1$, $x\mapsto e^{ix}$, qui est localement injective mais globalement non injective (car $0$ et $2\pi$ ont la même image). La différence réside dans la **propreté** : une application est propre si l'image réciproque d'un compact est compacte. L'exponentielle n'est pas propre, car l'image réciproque d'un point est un ensemble infini non borné.

Pour les polynômes, le défaut de propreté peut se manifester par des « plis à l'infini ». L'exemple clé est la fonction

$$ f(x,y)=1+xy. $$

L'image réciproque de $0$ est l'hyperbole $xy=-1$, un ensemble non compact. Ce polynôme introduit un pli à l'infini, l'ingrédient exact nécessaire pour briser l'injectivité globale tout en préservant le jacobien constant.

Le contre-exemple

Le contre-exemple trouvé par Claude, en collaboration avec Levent Alpöge, vit en dimension 3. Il s'agit de trois polynômes $P_1, P_2, P_3$ en trois variables $x,y,z$, dont le jacobien vaut la constante $-2$. La structure précise de ces polynômes est complexe, mais ils contiennent tous l'expression $1+xy$, et l'un d'eux (au moins) est réductible — c'est-à-dire factorisable en produit de polynômes non constants.

Pour prouver qu'il s'agit bien d'un contre-exemple, il suffit d'exhiber trois points distincts ayant la même image par $F=(P_1,P_2,P_3)$. La fonction n'est donc pas injective, et ne peut pas être inversible. La conjecture est réfutée.

Les principes directeurs de l'IA

Terence Tao et l'interprétation géométrique de la découverte de l'IA.

Ce qui rend l'histoire de Claude remarquable, c'est que le contre-exemple n'est pas un amas aléatoire ; c'est un artefact sophistiqué qui marie les trois perspectives. Les polynômes contiennent le terme topologiquement significatif $1+xy$, s'appuient sur une structure non irréductible motivée algébriquement, et sont minutieusement conçus pour satisfaire la contrainte analytique d'un jacobien constant.

La stratégie de l'IA reposait sur trois principes directeurs :

1. La contrainte du jacobien constant. Commencer avec une graine comme $1+xy$, la perturber en introduisant une troisième variable $z$, puis résoudre systématiquement pour les coefficients afin d'« effacer » tous les termes variables du jacobien, le forçant à devenir une constante.

2. Le pli topologique. L'expression $1+xy$ encode la non-propreté requise. L'IA ne faisait pas que résoudre des équations ; elle cherchait une structure topologique.

3. La signature algébrique. La non-irréductibilité de l'un des polynômes est un signe révélateur de non-injectivité. En effet, si $F$ était un automorphisme, l'image de $x$ (c'est-à-dire $P_1$) devrait être irréductible, car $x$ lui-même est irréductible. Un $P_1$ réductible signale immédiatement que l'application ne peut pas être un automorphisme.

Grâce à ces principes, l'IA a effectué une recherche computationnelle, brassant les possibilités et annulant des coefficients jusqu'à tomber sur un ensemble de trois polynômes dont le jacobien était un propre $-2$. Le nombre de coefficients à annuler était faramineux : 1 329 coefficients avec seulement 360 degrés de liberté. Ce n'est pas un hasard ; c'est une structure cachée.

L'IA trouve, l'humain comprend : l'intervention de Terence Tao

Si Claude a déniché cette aiguille dans une botte de foin multidimensionnelle, il aura fallu l'esprit humain pour comprendre *pourquoi* elle pique. Dans la foulée, l'éminent mathématicien Terence Tao a fourni une interprétation géométrique qui a élevé la trouvaille algorithmique de l'IA au rang de découverte dotée d'un sens géométrique profond.

L'intuition de Tao a été de considérer l'espace des produits d'une forme linéaire (un polynôme homogène de degré 1) et d'une forme quadratique (un polynôme homogène de degré 2). Plus précisément, partons de

$$ P(x,y)=Ax+By,\qquad Q(x,y)=Cx^2+Dxy+Ey^2.$$

Le produit $P\cdot Q$ est un polynôme homogène de degré 3. En développant, on obtient une application polynomiale

$$ (A,B,C,D,E)\mapsto (AC,\, AD+BC,\, AE+BD,\, BE) $$

de $\mathbb{C}^5$ vers $\mathbb{C}^4$. Cette application n'est pas injective, car multiplier $P$ par $\lambda\neq 0$ et $Q$ par $\lambda^{-1}$ donne le même produit.

Tao a montré qu'en prenant une tranche générique — imaginez une coupe plane dans cet espace multidimensionnel — qui évite l'origine, on obtient une application polynomiale de $\mathbb{C}^3$ vers $\mathbb{C}^3$ dont le jacobien est une constante non nulle (il a même obtenu $1$), mais qui n'est pas injective. C'est exactement le même phénomène que le contre-exemple de Claude, mais construit de manière conceptuelle.

Cette symbiose est le cœur de l'histoire scientifique moderne : la machine explore, calcule, tisse des motifs ; l'humain interprète, comprend, donne du sens. L'IA ne remplace pas le mathématicien, elle lui fournit de nouveaux télescopes pour observer des phénomènes qu'il doit ensuite déchiffrer.

Des funérailles positives

L'ambiance a pu commencer dans le deuil, mais comme toujours en mathématiques, une conjecture fausse n'est pas une impasse — c'est un nouveau paysage. « Si l'on regarde toujours le bon côté des choses », médite notre source, « si tous les nombres non nuls sont inversibles, alors on est dans un corps… et on est heureux. Et si c'est faux… on est dans un anneau et on est aussi très heureux parce qu'on a des idéaux. »

La réfutation de la conjecture jacobienne ne clôt pas seulement un chapitre ; elle ouvre une multitude de nouvelles questions sur la nature des applications polynomiales en dimension supérieure. Elle a déjà conduit à l'invalidation de conjectures apparentées, comme la conjecture de Dixmier. Elle démontre le partenariat puissant, quoique encore émergent, entre l'intuition mathématique humaine et la puissance brute de reconnaissance de motifs de l'IA. Le mariage du local et du global dans le monde des polynômes s'est achevé par un divorce inattendu, et la communauté mathématique explore désormais avec enthousiasme le nouveau monde que cette séparation a révélé.