Le 19 juillet 2026, pendant la finale de la Coupe du monde de football, le mathématicien Levent Alpöge poste sur X une poignée de mots et trois lignes d'équations : « la conjecture jacobienne est fausse ». Assisté de Claude Fable 5, un modèle d'Anthropic, il vient d'exhiber un contre-exemple à un problème de géométrie algébrique ouvert depuis 1939 — du moins en dimension 3 et au-delà. En quelques heures, des mathématiciens du monde entier refont le calcul : ça tient. Récit d'une réfutation express, et de ce qu'elle dit — ou ne dit pas — des nouvelles capacités des machines.

« hello there the jacobian conjecture is false thanx »

Le message est d'une désinvolture assumée. « hello there the jacobian conjecture is false thanx », écrit Levent Alpöge, remerciant « [son] proche ami Akhil de [lui] avoir posé la question » et « [son] autre proche ami Fable d'avoir travaillé pendant la finale de la Coupe du monde ». Le post, relayé et disséqué par The Conversation, franchit rapidement les 20 millions de vues. Quand le mathématicien Kevin Buzzard, de l'Imperial College de Londres, se réveille le lendemain matin, l'affaire est déjà vérifiée : « une grande journée », commente-t-il.

Derrière le ton badin, un profil sérieux. Alpöge est théoricien des nombres, employé d'Anthropic — l'entreprise qui développe la famille de modèles Claude — et ancien major de promotion à Harvard, décrit par Fortune comme ayant passé une décennie à traquer ce genre de problèmes à coups d'algorithmes. L'« Akhil » du message est Akhil Mathew, mathématicien à l'université de Chicago, qui lui avait suggéré de s'y frotter. Et « Fable », c'est Claude Fable 5, le grand modèle de langage d'Anthropic mis à contribution — au beau milieu du match.

Ce que Keller avait mis sur la table

Pour saisir l'onde de choc, il faut remonter à l'énoncé. La conjecture n'est pas née en 1939, mais dès 1884, lorsque le mathématicien Ludwig Kraus formule sa version à deux variables. C'est le géomètre allemand Ott-Heinrich Keller qui, en 1939, la généralise à un nombre quelconque de dimensions — d'où son nom, et sa place au cœur de la géométrie algébrique.

L'objet en question, ce sont des applications polynomiales : des fonctions qui transforment les points d'un espace en d'autres points, uniquement à l'aide d'additions et de multiplications de coordonnées. À chaque point, on peut mesurer localement comment la fonction étire ou comprime l'espace autour de lui : c'est le rôle du déterminant jacobien. L'intuition de Keller est séduisante par sa simplicité. Si ce déterminant vaut partout la même constante non nulle, alors l'application ne « replie » ni n'« écrase » jamais l'espace localement. La conjecture affirme qu'une telle application devrait, par conséquent, être globalement réversible — et son inverse être lui-même polynomial.

Autrement dit : une propriété purement locale, vérifiée en chaque point, suffirait-elle à garantir une propriété globale, valable sur l'espace entier ? Ce pont entre le local et le global explique la fascination des spécialistes — et la difficulté. Pendant plus de huit décennies, la conjecture a résisté : plusieurs « démonstrations » et plusieurs contre-exemples annoncés ont fini, après examen, par s'effondrer. La question avait la réputation d'un cimetière de carrières, où les tentatives sombraient l'une après l'autre.

Ce n'était pas une curiosité isolée. La conjecture jacobienne s'était révélée, au fil des ans, équivalente ou reliée à toute une constellation d'autres énoncés — de la conjecture de Dixmier sur les algèbres de Weyl à divers problèmes de la théorie des applications polynomiales — au point que la faire tomber revenait à ébranler plusieurs pièces d'un même édifice. C'est aussi ce qui incitait à la prudence : un problème de ce statut avait déjà vu défiler assez de fausses réfutations pour qu'aucun mathématicien sérieux n'accorde de crédit à une annonce avant de l'avoir vérifiée soi-même. La différence, cette fois, tient à ce que la vérification était à la portée de tous.

Trois lignes suffisent à tout défaire

Le coup de force de juillet 2026 est précisément à la mesure inverse de cette histoire touffue : le contre-exemple tient dans un post. Alpöge — via Fable — exhibe une application polynomiale à trois variables dont le déterminant jacobien est identiquement égal à −2 (une constante, non nulle), mais qui envoie trois points de départ distincts sur un même point d'arrivée. Elle n'est donc pas injective, encore moins réversible : la conjecture est fausse dès la dimension 3. Explicitement, l'application publiée s'écrit :

a(x, y, z) = (1 + xy)³·z + y²(1 + xy)(4 + 3xy)
b(x, y, z) = y + 3x(1 + xy)²·z + 3xy²(4 + 3xy)
c(x, y, z) = 2x − 3x²y − x³z

La force de l'objet est sa brièveté. Contrairement à une démonstration de 150 pages qu'il faudrait relire ligne à ligne, un contre-exemple de cette taille se vérifie presque mécaniquement : on calcule le déterminant jacobien, on constate qu'il vaut −2, on cherche les antécédents d'un point et on en trouve trois. C'est ce qui a permis à la communauté de trancher en quelques heures plutôt qu'en quelques mois. Comme le résume le mathématicien Abhishek Saha, de Queen Mary University : « c'est un assez gros coup… probablement la plus grosse conjecture dans laquelle l'IA a joué un rôle significatif jusqu'ici. »

Une réfutation vérifiée, pas une preuve de plus

Ici, un mot de prudence s'impose, car le titre qui a circulé en France — « l'IA a résolu une conjecture » — mérite d'être précisé. L'IA n'a pas démontré la conjecture : elle l'a réfutée. Elle n'a pas confirmé l'intuition de Keller, elle l'a fait tomber. La nuance compte : produire une preuve valide et produire un contre-exemple sont deux exercices de nature différente, et le second a l'immense avantage d'être auto-certifiant. Une fois l'exemple posé, il n'y a plus rien à croire sur parole ; il suffit de calculer.

C'est exactement ce qui s'est passé. L'arithmétique a été indépendamment refaite par de nombreux mathématiciens, puis consignée dans une note de vérification. Surtout, comme le rapporte le compte rendu de Kevin Buzzard, le doctorant Paul Lezeau a formalisé le contre-exemple dans Lean, un assistant de preuve qui vérifie chaque étape par la machine : dès le lundi matin, l'objet était certifié formellement, au-delà du moindre doute de calcul. Le résultat n'avait pas encore été relu par les pairs au sens classique — il a été déposé pour évaluation sur une plateforme dédiée — mais sa validité, elle, ne se discutait déjà plus.

Cette distinction entre la trouvaille et la preuve mérite d'être tenue fermement, car c'est là que les malentendus prospèrent. La façon dont l'objet a été déniché — un dialogue itératif où l'on soumet des candidats et où l'on demande au modèle de calculer des déterminants — relève de l'exploration heuristique, et aucune exploration de ce type ne constitue en soi une démonstration mathématique. Mais le produit final, lui, est un contre-exemple explicite et fermé : une fois posé, il se suffit à lui-même et ne doit plus rien à la manière dont on l'a rencontré. C'est toute la différence avec une preuve annoncée, qu'il faudrait au contraire relire intégralement pour la croire. Un mathématicien sceptique peut ignorer complètement le rôle de l'IA et vérifier l'objet à la main : il tient quand même.

Deux réserves méritent d'être posées noir sur blanc. D'abord, ce qui reste ouvert : le contre-exemple règle les dimensions 3 et supérieures, mais le cas à deux variables complexes — la forme la plus célèbre de la conjecture — demeure entier. En dimension 1, la conjecture est facile ; en dimension 2, elle résiste toujours. Ensuite, la nature du travail. Sur son blog, le médaillé Fields Terence Tao a publié une « digestion » du contre-exemple qui en révèle la structure profonde : loin d'un tir au hasard, l'objet s'appuie sur la multiplication de polynômes, sur des invariants comme le résultant et sur des symétries fines. Tao souligne que l'annulation de tous les coefficients non constants ressemble à « une gigantesque simplification portant sur 1 329 équations » — le genre de coïncidence qu'un pur balayage aléatoire n'atteint jamais. Le mathématicien précise avoir lui-même « utilisé un agent conversationnel pour discuter de divers aspects du problème et confirmer plusieurs des calculs ». Le contre-exemple, au passage, fait aussi tomber des conjectures voisines réputées équivalentes ou plus fortes, comme la conjecture de Dixmier en dimension ≥ 3, notent les mathématiciens du Secret Blogging Seminar.

Le « comment » sans le « pourquoi »

Reste la question qui agite vraiment la profession, et qui déborde largement la géométrie algébrique : qu'a fait la machine, au juste ? Sur ce point, l'enthousiasme se teinte de malaise. La machine a fourni un objet correct, mais muet. « On peut vérifier que c'est juste, mais il serait bon de pouvoir raconter une histoire », observe Akhil Mathew, qui résume l'inconfort d'une formule : le résultat « donne accès au comment sans expliquer le pourquoi ». Un contre-exemple prouve que la conjecture est fausse ; il n'explique pas ce qui, dans la structure des applications polynomiales, la rendait fausse.

Son collègue de Columbia Andrew Blumberg tempère même la portée conceptuelle : trouver un contre-exemple isolé, dit-il, « montre surtout qu'il existe beaucoup de polynômes ». Et de filer une analogie : on ne se contenterait pas d'un verdict brut du type « le cancer se soigne » — on veut comprendre pourquoi. C'est bien là le point de friction : les mathématiciens redoutent que l'IA excelle à produire des réponses sans produire la compréhension qui, à leurs yeux, est la discipline elle-même — ces longues chaînes de raisonnement, parfois étalées sur des centaines de pages, qui font sens autant qu'elles font preuve.

Ce que Fable a bien fait, en revanche, est spécifique et remarquable : naviguer dans un espace de recherche gigantesque d'applications polynomiales possibles, et y débusquer la bonne. Non pas échafauder une démonstration de 150 pages, mais trouver l'aiguille. Kevin Buzzard, plutôt allant, maintient malgré tout la ligne : savoir quelle question poser reste, pour l'heure, l'apanage des humains ; les machines, dit-il en substance, posent encore surtout des questions ennuyeuses ou trivialement vraies. Son confrère de Columbia Michael Harris, plus caustique, renvoie aux industriels de l'IA leur propre vocabulaire en qualifiant les mathématiciens de « version bêta de l'intelligence ». Pour Akhil Mathew, le basculement est en tout cas « un changement très rapide et très déstabilisant, surtout pour les jeunes mathématiciens » — ceux dont le métier consistait précisément à passer des mois sur les calculs que la machine expédie désormais en une soirée.

Deuxième onde de choc de l'année

Le plus troublant n'est peut-être pas l'exploit lui-même, mais sa cadence. Ce n'est pas la première percée de l'année. En mai 2026, un modèle d'OpenAI avait contribué à trancher une conjecture d'Erdős vieille de quatre-vingts ans en géométrie combinatoire — l'une d'une série d'avancées revendiquées par le laboratoire en mathématiques et en informatique théorique. Et dès l'été 2025, des IA avaient résolu cinq des six problèmes des Olympiades internationales de mathématiques. Ce que la conjecture jacobienne ajoute à la série, c'est l'ancienneté et le prestige de la cible — et l'image, virale, d'un problème presque centenaire qui cède pendant une mi-temps.

Il y a aussi, en arrière-plan, un enjeu d'image. Que la percée soit venue d'un employé d'Anthropic maniant un modèle maison n'est évidemment pas neutre : les laboratoires d'IA ont tout intérêt à exhiber des résultats scientifiques spectaculaires et incontestables, et un contre-exemple vérifiable en trois lignes est, de ce point de vue, une vitrine idéale — impossible à contester, facile à raconter. La communauté mathématique, elle, a jusqu'ici réagi en professionnelle : plutôt que de gloser sur l'annonce, elle a refait le calcul, formalisé l'objet et cherché à en comprendre la géométrie. C'est peut-être là le vrai signe de maturité de l'épisode — la preuve n'a pas été prise sur parole parce qu'elle venait d'une machine.

Cette accélération relance un débat qui traverse toute la recherche. À rebours de l'euphorie, d'autres voix rappellent que l'IA générative n'a pas que des vertus dans la fabrique du savoir : le rédacteur en chef de Science soutient ainsi qu'elle rend l'édition scientifique « plus lente, de moins bonne qualité et plus chère », en déversant un flot de textes qu'il faut vérifier un à un. Les deux constats ne se contredisent pas : ils dessinent les deux faces d'une même bascule. D'un côté, une machine capable de trancher en trois lignes une question restée ouverte pendant quatre-vingt-sept ans ; de l'autre, une communauté qui doit réapprendre à distinguer l'annonce de la preuve, et le calcul juste de la véritable compréhension.

La conjecture jacobienne, elle, garde d'ailleurs une part de mystère intacte. La machine a réglé les grandes dimensions, mais la forme la plus fameuse — deux variables complexes — résiste toujours. Comme si les mathématiques rappelaient, au moment même où on les croit débordées, que la question la plus célèbre reste, pour l'instant, une affaire d'humains.