Terence Tao et ChatGPT : la conjecture jacobienne pas si morte

• Une conversation avec ChatGPT n'a jamais valu une preuve relue par la communauté mathématique.
• Le vrai sujet n'est pas Terence Tao, c'est le titre de vidéo qui transforme un outil en oracle.
• La conjecture jacobienne survit à 1939 comme aux annonces, et c'est tant mieux pour l'humilité générale.

Mardi soir, dans mon fil, une intelligence artificielle venait de terrasser un problème posé en 1939, coincé entre deux recettes de lasagnes.

Le 23 juillet 2026, la chaîne Alex, L'AItelier publie une vidéo au titre net : la conjecture jacobienne, posée en 1939, serait prouvée fausse par une IA, sur la foi d'un échange entre Terence Tao et ChatGPT. Le sujet vaut mieux que son emballage. Une conversation copiée-collée n'a jamais fait tomber un problème ouvert.

Une vidéo, un titre, et déjà l'affaire est pliée

Le titre claque comme un gong. « Posée en 1939, la conjecture de Jacobi est prouvée fausse par une IA. » Signé Alex, L'AItelier, publié ce 23 juillet. En dessous, la vraie histoire. Terence Tao, mathématicien star, a discuté d'un possible contre-exemple avec ChatGPT. Discuté. Le verbe compte. Entre un chercheur qui réfléchit à voix haute avec un chatbot et une IA qui terrasse un monument de l'algèbre, il y a un gouffre. Ce gouffre, c'est tout le sujet. On la nomme jacobienne dans les manuels, va pour jacobienne. On connaît la chanson. Chaque semaine, une machine révolutionne quelque chose. La semaine dernière, c'était un tarif en baisse vendu comme une révolution. Avant, un duel d'applications qui ne prouve rien. Le format ne bouge pas. Un problème réputé impossible, une IA, un point d'exclamation. Sauf que les mathématiques ignorent le calendrier de YouTube. Elles avancent à la vitesse de la relecture, c'est-à-dire lentement, méchamment lentement. Aucun titre en gras ne raccourcira ça.

Ce qu'une conversation avec ChatGPT prouve, et ce qu'elle ne prouve pas

Reprenons calmement. Une conjecture, c'est une affirmation qu'on croit vraie sans savoir la démontrer. Celle-ci, posée en 1939, dit en gros qu'une certaine transformation de variables se laisse toujours inverser proprement. Des générations s'y sont cassé les dents. La renverser, c'est exhiber un contre-exemple, un objet précis qui la fait mentir, puis convaincre la planète que l'objet tient debout. Là est le piège. Une conversation avec ChatGPT produit du texte plausible, pas une garantie. Le modèle aligne des mots probables, il ne certifie rien. On l'a vu sur des exemples concrets, brillant pour dégrossir, faillible sur la ligne d'arrivée. On l'a vu quand l'IA code facilement mais bute sur l'ingénierie. On l'a vu avec des comparaisons qui rendent zéro verdict. Une piste n'est pas une preuve. En mathématiques, la preuve se relit, se démonte pièce par pièce, par des gens payés pour douter. Tant que ce travail n'a pas eu lieu, le contre-exemple reste une hypothèse séduisante. Séduisante ne veut pas dire vraie. Souvenez-vous des IA superforecasters vendues comme oracles du futur. Le titre promettait, la réalité tempérait. Même mécanique ici. Un modèle qui en bat un autre sur le papier ne change pas le monde le lendemain. Et un chatbot qui réfute une conjecture ne l'a pas réfutée tant que des humains n'ont pas signé en bas de la page.

Le vrai record, c'est la vitesse du titre

Le vrai exploit du jour n'est pas mathématique. Il est chronométrique. Combien de temps entre l'échange de Tao et le titre qui l'enterre ? Quelques heures, sans doute. Voilà le record. La machine à hype tourne plus vite que la relecture. Elle carbure au même mélange que tout le reste. Un nom qui vend du vent. Une puce qu'on ne montre pas. Un agent qui lâche vos dépôts privés pendant qu'on regarde ailleurs. Un procès qu'on commente sans le lire. Le buzz IA a ses classiques, et l'IA qui résout l'impossible en est le tube de l'été. Pendant ce temps, la Norvège écarte l'IA des écoles primaires. Zuckerberg admet que ses agents prennent du retard. Deux nouvelles sobres, deux fois moins partagées qu'une conjecture morte. Le sérieux ne clique pas. L'annonce spectaculaire, si. Et quand l'IA coûte plus cher que l'ingénieur qu'elle remplace, on préfère encore parler de génie mathématique. Plus vendeur qu'une facture.

Ce qui reste quand le buzz retombe

Alors, faut-il jeter ChatGPT avec l'eau du bain ? Non. Tao ne fait rien d'idiot. Il se sert d'un outil pour explorer, pour tester une intuition, comme d'autres griffonnent au tableau. C'est même la bonne façon de travailler avec ces modèles, y compris sur un vieux PC ou quand le réseau lâche. L'IA comme brouillon, l'humain comme juge. Le problème n'est pas l'usage, c'est le récit. Transformer une séance de remue-méninges en victoire historique, voilà la petite escroquerie narrative du moment. La conjecture jacobienne s'en moque. Elle a survécu à 1939, à quatre-vingt-sept ans de séminaires, elle survivra bien à une vidéo YouTube. Rendez-vous quand une revue à comité de lecture publiera le contre-exemple. Là, on sortira le champagne. D'ici là, on garde la bouteille au frais.