Intelligence artificielle (IA) : Claude pulvérise 87 ans de certitudes mathématiques
07/22/2026Une énigme de 87 ans balayée en 216 caractères. Le 19 juillet, pendant la finale Espagne-Argentine de la Coupe du monde, le mathématicien Levent Alpöge a annoncé sur X que la célèbre conjecture jacobienne était fausse. Le chercheur, affilié à Harvard et Anthropic, a publié un contre-exemple découvert avec l’aide de Claude Fable 5. Une formule étonnamment compacte qui pourrait marquer un tournant dans l’utilisation de l’intelligence artificielle (IA) en mathématiques.
Points clés
- Le mathématicien Levent Alpöge a annoncé sur X la réfutation de la conjecture jacobienne, ouverte depuis 1939, grâce au modèle Claude Fable 5 d’Anthropic.
- Le contre-exemple de 216 caractères, vérifié indépendamment en moins de 24 heures, a été salué par Terence Tao et Timothy Gowers.
- Certains, comme Andrew Blumberg (Columbia), tempèrent : une recherche massive de combinaisons n’équivaut pas à une preuve profonde, et la dimension 2 reste ouverte.
- Le Bitcoin évolue au rythme du cycle de capital de l’IA : la sortie du modèle chinois Kimi K3 l’avait fait chuter sous les 64 000 dollars.
« Hello there » : une conjecture de 1939 tombe en plein match
Formulée par Ott-Heinrich Keller en 1939, la conjecture jacobienne porte sur les applications polynomiales à plusieurs variables. Elle affirme, en simplifiant, qu’une fonction polynomialement réversible autour de chacun de ses points doit également être réversible dans son ensemble.
Le problème figurait parmi les 18 grands défis mathématiques pour le XXIe siècle sélectionnés par Stephen Smale en 1998. Après des décennies de tentatives infructueuses et de fausses preuves, la plupart des travaux cherchaient à démontrer la conjecture plutôt qu’à la réfuter.
Claude Fable 5 a pourtant trouvé une application polynomiale de trois variables dont le déterminant jacobien vaut constamment -2, mais qui envoie trois points distincts vers un même résultat. Elle satisfait donc l’hypothèse de la conjecture sans être injective, et ne peut pas posséder d’inverse polynomial.
Le calcul est suffisamment compact pour être vérifié à la main ou avec un logiciel de calcul formel. Terence Tao, médaillé Fields, a publié dès le 21 juillet une analyse géométrique détaillée du contre-exemple. En ajoutant des coordonnées inchangées à la formule, celle-ci s’étend à toutes les dimensions supérieures à 3. Le cas à deux variables demeure toutefois ouvert.
Une victoire de l’IA, mais pas encore une théorie
Timothy Gowers, également médaillé Fields, estime qu’il s’agit du premier problème célèbre extérieur à son domaine qu’un grand modèle de langage semble avoir résolu. L’exploit tient moins à la vérification du résultat, relativement simple, qu’à la découverte d’une formule cachée parmi une immensité de possibilités.
La prudence reste néanmoins indispensable. Le rôle précis de Levent Alpöge, de son collègue Akhil Mathew et du modèle dans le processus de recherche n’a pas encore été entièrement documenté. Andrew Blumberg, professeur à Columbia, souligne également que trouver un contre-exemple par exploration massive ne signifie pas nécessairement que la machine comprend pourquoi la conjecture échoue.
Claude vient peut-être de franchir une étape majeure : démontrer qu’un modèle d’IA peut contribuer à résoudre un problème mathématique célèbre tout en produisant un résultat vérifiable par l’être humain. La machine a trouvé l’aiguille dans la botte de foin. Reste désormais aux mathématiciens à comprendre pourquoi elle s’y trouvait et quelles nouvelles pistes cette découverte pourrait ouvrir.
L’article Intelligence artificielle (IA) : Claude pulvérise 87 ans de certitudes mathématiques est apparu en premier sur Journal du Coin.
