La conjecture jacobienne, un verni craquelé
Dans un message bref posté le 20 juillet 2026 sur le réseau social X, le mathématicien Levent Alpoge a annoncé avoir trouvé une preuve montrant que l'un des postulats les plus anciens de la géométrie algébrique est faux. Appuyé par un modèle d'intelligence artificielle, son contre‑exemple remet en question une intuition tenue pour solide depuis 1939, année où Ott‑Heinrich Keller a formulé la conjecture jacobienne.
De quoi s'agit‑il ?
La conjecture porte sur des applications polynomiales — transformations algébriques qui déplacent les points de l'espace selon des formules. À chaque transformation est associé un nombre, le jacobien, qui traduit localement comment l'espace se dilate ou se contracte. On savait déjà qu'un jacobien constant non nul assure une inversibilité locale. La conjecture extrapolait cette propriété à l'échelle globale, affirmant qu'aucun repliement ne pourrait survenir.
Une trouvaille en une soirée
Selon les éléments rendus publics et repris par New Scientist, Alpoge a construit son réfutation « en une soirée » après une discussion avec son collègue Akhil Mathew. Plutôt que de déposer immédiatement un article long et technique, il a partagé son résultat par un court message sur X, provoquant surprise et émoi dans une communauté mathématique qui travaillait sur la question depuis des décennies.
Conséquences et débats à venir
Si la démonstration tient après vérification par les pairs, l'impact sera double :
- sur le plan théorique : il faudra revoir des pans de la théorie de l'inversion polynomiale et reconsidérer des résultats dépendant de la conjecture ;
- sur le plan méthodologique : la collaboration homme‑machine, ici décisive, questionne la manière dont les preuves seront construites et validées à l'avenir.
Un tournant pour la recherche assistée par IA
La rapidité de la découverte souligne le rôle croissant des modèles d'IA dans l'exploration mathématique : outils de conjecture, d'exploration d'exemples et parfois d'esquisse de preuves. Mais la validation formelle reste une exigence inébranlable en mathématiques. Les spécialistes s'attendent désormais à une période d'examen rigoureux — relecture détaillée, formalisation et publication dans une revue à comité de lecture — avant que la communauté n'intègre pleinement ce résultat.
| Repère | Année |
|---|---|
| Formulation de la conjecture (Keller) | 1939 |
| Sélection par Stephen Smale parmi 18 défis | 1998 |
| Annonce du contre‑exemple (Alpoge) | 2026 |
La communauté mathématique est désormais face à deux tâches : vérifier la solidité technique du contre‑exemple et réfléchir aux règles d'usage et de reconnaissance des contributions issues de systèmes automatisés. Au-delà de l'actualité — spectaculaire par sa brièveté — c'est une nouvelle étape dans la cohabitation entre créativité humaine et puissance computationnelle.
