IA vs Mathématiques Pures : Deux Prouesses de 2026 qui Révèlent le Nouveau Visage de la Découverte

Claude Fable 5 d'Anthropic trouve un Contre-Exemple à la Conjecture Jacobienne (Juillet 2026)

Le 19 juillet 2026, le mathématicien Levent Alpöge, chercheur chez Anthropic, a annoncé sur X (anciennement Twitter) avoir utilisé le modèle Claude Fable 5 d'Anthropic pour trouver un contre-exemple à la conjecture Jacobienne — un problème ouvert vieux de 87 ans en géométrie algébrique, posé pour la première fois par Ott-Heinrich Keller en 1939 . Cette conjecture, classée n°16 sur la liste des problèmes pour le siècle suivant établie en 1998 par le médaillé Fields Stephen Smale, postulait qu'une application polynomiale de C^n dans C^n avec un déterminant jacobien constant non nul devait être globalement inversible .

Le contre-exemple est une application polynomiale de 216 caractères remarquablement concise, allant de C³ à C³, avec un déterminant jacobien identiquement égal à -2, mais qui envoie trois triplets d'entrée distincts vers la même sortie, réfutant ainsi l'inversibilité globale . En quelques heures après la publication d'Alpöge, des mathématiciens du monde entier ont vérifié le résultat de manière indépendante, et une vérification formelle dans l'assistant de preuve Lean a été achevée en moins de 24 heures .

Des mathématiciens de renom, dont Terence Tao et Timothy Gowers, ont salué ce résultat . Tao a publié une analyse géométrique du contre-exemple, et la vérification a été largement confirmée par la communauté mathématique . La version bidimensionnelle de la conjecture reste ouverte .

Ce que Ces Résultats Signifient pour l'Avenir des Mathématiques

L'IA peut désormais générer des preuves véritablement nouvelles

Les deux avancées impliquent des sauts conceptuels profonds, et non une simple assistance informatique. La réfutation sur les distances unitaires a nécessité que l'IA relie la théorie algébrique des nombres à la géométrie combinatoire — une connexion qu'aucun mathématicien n'avait faite auparavant . Le contre-exemple à la conjecture Jacobienne a nécessité la construction d'une application polynomiale subtile avec des propriétés algébriques spécifiques .

Le modèle de partenariat Homme-IA s'avère puissant

Ces résultats pointent vers un avenir où l'IA agit comme un collaborateur créatif plutôt qu'un remplacement. Dans le cas de la conjecture Jacobienne, un mathématicien qualifié a dirigé l'IA et reconnu l'importance de sa production . Dans le cas d'OpenAI, le modèle a travaillé de manière plus autonome mais a tout de même nécessité une vérification humaine . Ce modèle de partenariat permet à l'IA d'explorer des espaces de recherche immenses que les humains ne peuvent pas parcourir efficacement, tandis que les humains apportent l'intuition, le jugement et la vérification.

Le rythme s'accélère rapidement

OpenAI a ensuite annoncé en août 2026 que la même classe de modèles de raisonnement internes avait produit des avancées sur 10 problèmes majeurs en mathématiques et en informatique théorique, couvrant la géométrie en haute dimension, la théorie des codes, la théorie des groupes, les algèbres d'opérateurs, la complexité quantique, la cryptographie réticulaire et la combinatoire extrémale . Les observateurs décrivent un "nouvel âge d'or" des mathématiques propulsé par l'IA .

Des réserves importantes subsistent

Le contre-exemple à la conjecture Jacobienne ne s'applique qu'en dimension 3 et plus — la conjecture originale reste ouverte en dimension 2 . Certains résultats n'ont pas encore été soumis à un examen par les pairs complet via les canaux traditionnels, et toutes les affirmations ne sont pas entièrement publiées . Mais la direction générale est claire : l'IA a franchi un seuil, passant d'assistant mathématique à découvreur mathématique, et son rôle dans la recherche ne fera que s'accroître.

Perspective d'Ensemble

Ces avancées de 2026 font suite à une progression rapide des capacités mathématiques de l'IA. En juillet 2025, les modèles d'IA avaient pour la première fois résolu cinq des six problèmes de l'Olympiade Internationale de Mathématiques . Début 2026, les modèles atteignaient des standards de médaille d'or à l'OIM . Aujourd'hui, l'IA produit des résultats à la frontière de la recherche — résolvant des problèmes qui ont défini des carrières entières.

Comme l'a noté le mathématicien Terence Tao, le résultat sur la conjecture Jacobienne représente un jalon dans la collaboration homme-IA . Le modèle n'a pas travaillé seul, mais le partenariat a produit un résultat que ni l'homme ni la machine n'auraient pu atteindre indépendamment. Ce modèle — l'intuition humaine guidée par l'exploration de l'IA, vérifiée par des assistants de preuve formels — pourrait bien définir l'avenir de la découverte mathématique.