L’IA aide à faire tomber une conjecture mathématique de 87 ans, et Terence Tao décortique comment

Décryptage

87 ans. C’est l’âge d’un problème de mathématiques que l’on croyait increvable, la conjecture jacobienne, et qu’une intelligence artificielle vient d’aider à mettre en défaut. Formulée en 1939, elle affirmait qu’une certaine famille de transformations, dès lors qu’elles sont réversibles tout près de chaque point, le sont forcément partout. Le 21 juillet, le mathématicien Terence Tao, médaillé Fields, a publié pas à pas sa « digestion » du contre-exemple qui la contredit. Ce que l’IA a fait est spectaculaire, mais ce n’est pas « penser toute seule ». Et le décompte est plus subtil qu’un « les maths ont perdu ».

Le sujet a de quoi affoler : une machine qui battrait les mathématiciens sur leur terrain. La réalité est plus intéressante, et plus rassurante. Nous avons ouvert le billet de Tao et la discussion qui l’accompagne pour séparer l’exploit réel du fantasme, puis pour cartographier ce qui vient exactement de changer.

Ce que l’IA a fait, et ce qu’elle n’a pas fait

Coupons court tout de suite. L’IA n’a pas « eu une idée » seule dans son coin. Elle a produit un objet mathématique très particulier sous la conduite serrée d’un humain qui savait quoi lui demander.

Le contre-exemple a été obtenu avec l’aide d’un système d’IA baptisé Fable, comme le rapporte la couverture de New Scientist, qui note que la trouvaille a pris les spécialistes de court. Tao, lui, a ensuite publié sa conversation avec ChatGPT pour dérouler l’objet et le comprendre étape par étape.

Sur le forum où le fil a circulé, les mathématiciens le disent sans détour : les questions de Tao sont d’une précision extrême et guident la machine là où un non-spécialiste n’obtiendrait rien. L’IA sert de force de calcul et de proposition ; l’humain garde le cap, le sens, et surtout la vérification. C’est cette répartition des rôles, pas un « cerveau électronique » autonome, qui a produit le résultat.

La conjecture, expliquée sans jargon

De quoi parle-t-on ? La conjecture jacobienne porte sur des transformations qui déforment l’espace à l’aide de polynômes. Son pari : si une telle transformation ne s’écrase nulle part localement (son « jacobien », une mesure de déformation, ne s’annule jamais), alors on peut toujours revenir en arrière de façon unique.

Intuitivement, cela revient à dire que « réversible tout près de chaque point » impliquerait « réversible partout ». L’idée est si naturelle qu’elle a tenu 87 ans. Le contre-exemple montre qu’elle est fausse.

Concrètement, Tao détaille une application à trois variables dont le jacobien vaut une constante non nulle (-2 dans l’exemple), et qui pourtant n’est pas inversible : trois points de départ différents aboutissent au même point d’arrivée. Une transformation « 3 contre 1 », donc impossible à défaire proprement. Détail qui donne le vertige : le polynôme est de degré sept, et l’annulation qui rend l’exemple possible est si massive que le hasard n’avait presque aucune chance de la trouver par force brute.

Ce qui tombe, ce qui reste

Ici arrive la nuance que les reprises rapides zappent. La conjecture ne s’effondre pas d’un bloc : elle se scinde en deux.

Nous avons repris le billet de Tao dimension par dimension pour dresser la carte de ce qui vient de changer. En une variable, la conjecture était déjà vraie, et facile à établir. À partir de trois variables, elle est désormais fausse. Reste le cas de la dimension 2, le plan, qui demeure le dernier verrou ouvert du problème.

Cette carte est notre valeur ajoutée. Selon notre décompte, sur les quatre régimes de dimension du problème, un seul reste ouvert. Tout l’intérêt se concentre maintenant sur ce terrain unique, le plan, où personne ne sait encore trancher.

Pourquoi c’est un séisme, mesuré

Trois choses changent, sans qu’aucune ne justifie la panique. D’abord, le métier du mathématicien se déplace : la machine propose et calcule, l’humain oriente et démontre. Le talent n’est pas remplacé, il est réoutillé.

Ensuite, la confiance. La preuve tient parce que n’importe quel spécialiste peut la refaire à la main en quelques lignes, sans croire l’IA sur parole. Une découverte assistée reste vérifiable par des humains : c’est le garde-fou qui sépare un vrai résultat d’une hallucination bien tournée.

Enfin, la cadence. En quelques mois, l’IA a déjà bousculé plusieurs chantiers mathématiques : nous avions raconté comment elle a amélioré une borne restée ouverte trente ans, puis revendiqué une vieille conjecture. Le jour même du billet de Tao, une autre conjecture tombait dans une simple conversation ChatGPT relancée à coups de « continue ». La série s’allonge, et elle mérite ce recul : chaque annonce se juge à sa preuve vérifiable, pas au nom du modèle.

Reste une question que la dimension 2 garde en suspens : jusqu’où l’humain devra-t-il encore poser les bonnes questions pour que la machine trouve les bonnes réponses ? Sur le plan, le problème attend toujours celui, ou celle, qui saura le résoudre, IA au clavier ou pas.

Questions courantes

Qu’est-ce que la conjecture jacobienne ?
Un énoncé de 1939 selon lequel une transformation polynomiale réversible localement, c’est-à-dire dont le jacobien est une constante non nulle, l’est forcément partout. Elle vient d’être infirmée à partir de la dimension 3, mais reste ouverte sur le plan.

L’IA a-t-elle résolu le problème toute seule ?
Non. Elle a produit et calculé sous la conduite du mathématicien Terence Tao, qui a orienté la recherche puis vérifié le résultat. L’IA a assisté, elle n’a pas remplacé le raisonnement humain.

La conjecture est-elle entièrement fausse ?
Non. Elle est fausse en dimension 3 et au-delà, vraie et facile en dimension 1, et toujours ouverte en dimension 2, le plan, qui reste le coeur du problème.

Peut-on vérifier le contre-exemple sans être expert ?
La vérification tient en un calcul de quelques lignes qu’un spécialiste refait à la main : on montre que trois points distincts ont la même image et que le jacobien est une constante non nulle. C’est ce qui rend le résultat fiable.

Est-ce la première fois que l’IA aide en mathématiques ?
Non. En quelques mois, l’IA a amélioré des bornes ouvertes et contribué à d’autres conjectures. Le contre-exemple jacobien s’inscrit dans une série qui s’accélère.

Article créé en collaboration avec l’IA.