Le monde des mathématiques est en effervescence.
Une conjecture centrale qui tourmentait les plus grands mathématiciens du monde depuis 22 ans aurait été résolue par un neurochirurgien du CHU de Pékin ?
Après s'être auto-formé en mathématiques, il a utilisé ChatGPT 5.6 en mode autonome pendant 16 heures pour clore cette énigme mathématique vieille de 22 ans. C'est tout simplement incroyable.
Le 30 juillet 2026, Alex Townsend, professeur de mathématiques appliquées à l'Université de Washington, a ouvert arXiv comme à son habitude.
Au cours de l'année écoulée, Townsend avait développé une habitude presque obsessionnelle : il interrogeait périodiquement GPT 5.6, essayant de lui faire démontrer la fameuse énigme du domaine de l'algèbre linéaire numérique – la conjecture de Crouzeix.
Au cours des centaines de tentatives précédentes, les réponses de l'IA étaient soit truffées de failles logiques, soit bloquées en essayant de franchir un lemme clé. Les humains se heurtaient à cette conjecture depuis 22 ans, et l'IA ne semblait pas plus intelligente.
Pourtant, ce jour-là, la conjecture de Crouzeix, qui tourmentait le monde de l'algèbre linéaire numérique depuis 22 ans, a été prouvée.
L'auteur n'est pas un mathématicien, mais Shanmu Jin, interne en neurochirurgie à l'Hôpital de l'Amitié Pékin (Pékin Union Medical College Hospital).
Il n'a pas de formation supérieure régulière en mathématiques. Son licence était en géologie, puis il a obtenu un doctorat en médecine. Son seul assistant était GPT-5.6.
GPT-5.6 a résolu ce problème au cours d'une exécution autonome d'environ 16 heures, sans aucune intervention humaine.
Et sur la liste des vérificateurs figure Michel Crouzeix lui-même – celui qui avait posé ce problème il y a 22 ans, maintenant le certifiant comme résolu.
Townsend et Greenbaum, eux aussi experts dans le domaine, après avoir examiné la solution, n'avaient qu'un mot pour décrire leur sentiment : « Stupéfaction ».
Quand un interne de Pékin apprend les maths par lui-même
Le protagoniste de cette histoire s'appelle Shanmu Jin. Il est chercheur postdoctoral et interne en neurochirurgie à l'Hôpital de l'Amitié Pékin.
Son parcours n'a aucun rapport avec les mathématiques.
Sa licence était en géologie. Il a ensuite changé de voie pour la médecine, obtenant finalement un doctorat en médecine. Toute sa formation mathématique se limitait aux cours de base suivis par tout étudiant en sciences.
« Tout le reste des mathématiques, je l'ai appris par moi-même », écrit sobrement le Dr Jin dans un courriel aux auteurs originaux (Alex Townsend et Anne Greenbaum).
Pourquoi un neurochirurgien s'attaquerait-il à une conjecture mathématique aussi dure ?
Tout est né d'un point douloureux dans ses recherches cliniques et scientifiques : l'étude des ultrasons transcrâniens.
En essayant de faire traverser les structures complexes du crâne humain par des ultrasons, il s'est plongé dans le vaste domaine de « l'analyse matricielle ». Durant son apprentissage autodidacte, il a aperçu par hasard le nom célèbre dans le monde de l'algèbre linéaire numérique – la conjecture de Crouzeix.
L'énoncé de cette conjecture est exceptionnellement simple, et la géométrie intuitive du « champ numérique » qui la sous-tend est d'une grande beauté. Cette simplicité et cette élégance extrêmes ont profondément attiré cet autodidacte transdisciplinaire.
Il a décidé d'essayer. Non pas avec la déduction traditionnelle papier-crayon, mais avec un grand modèle de langage.
La « constante démoniaque » qui tourmentait les mathématiciens depuis 22 ans
Pourquoi ces mathématiciens sont-ils si stupéfaits ? Nous devons d'abord comprendre à quel point la conjecture de Crouzeix était difficile.
Dans les mathématiques appliquées modernes et le calcul technique, les matrices sont le langage universel pour décrire le fonctionnement du monde.
De la superposition d'états en mécanique quantique à l'algorithme PageRank de Google, en passant par les itérations de paramètres à très grande échelle lors de l'entraînement des grands modèles de langage aujourd'hui, tout est essentiellement la projection et l'évolution de matrices gigantesques dans le plan complexe.
Cependant, le comportement des matrices non normales est extrêmement déroutant. Elles sont comme un troupeau de bêtes sauvages au tempérament imprévisible et colérique.
Pour les apprivoiser, le mathématicien français Michel Crouzeix a proposé en 2004 une conjecture d'une beauté géométrique intuitive :
Pour tout polynôme p dans le plan complexe et toute matrice A, sa norme spectrale peut toujours être bornée par sa valeur maximale sur le « champ numérique » W(A).
Et la constante optimale entre ces deux grandeurs est exactement 2.
Exprimée formellement :
Cette inégalité est extrêmement importante en mathématiques appliquées.
Si elle est vraie, nous pouvons directement transformer l'erreur d'approximation scalaire dans le plan complexe en une borne de norme pour les fonctions matricielles. Cela a une signification déterminante pour l'analyse des fonctions matricielles, la méthode itérative GMRES, les méthodes de sous-espace de Krylov, etc.
Cependant, « prouver que cette constante est 2 » est devenu le cauchemar d'innombrables mathématiciens.
Mais la porte menant à la constante « 2 » est restée hermétiquement fermée. Jusqu'au 30 juillet 2026.
En 2007, Crouzeix lui-même, épuisé, n'a pu prouver l'inégalité qu'avec une constante de 11.08.
Dix ans plus tard, en 2017, l'American Institute of Mathematics (AIM) a même organisé à San Jose un atelier d'une semaine, rassemblant les meilleurs experts mondiaux pour explorer les approches théoriques, les preuves numériques, les extensions matricielles et toutes sortes d'armes. Crouzeix et son collaborateur Palencia ont finalement réduit cette constante universelle à 2,414.
Depuis lors, la boîte à outils mathématique humaine semblait avoir épuisé sa dernière goutte d'huile.
Jusqu'à cet été, où un « outsider » armé d'un scalpel est entré en scène.
Un « super prompt » modifié, ChatGPT galope pendant 16 heures
Comment un interne en neurochirurgie du CHU de Pékin, aux horaires cliniques très chargés, a-t-il fait ?
Le secret réside dans l'ingénierie de prompt (Prompt Engineering).
Le Dr Jin n'a pas utilisé l'IA comme un simple robot de questions-réponses, mais l'a transformée en un immense institut de recherche mathématique virtuel.
Il a emprunté et adapté le fameux prompt utilisé par OpenAI pour résoudre la conjecture du Cycle Double Cover, mettant en place un dispositif d'une grande vision stratégique :
Déconnexion physique (suppression des dépendances externes) : Le prompt coupe explicitement l'accès du système à l'internet public et à d'autres contextes externes. Il ne voulait pas que l'IA « plagie » sur les moteurs de recherche les anciennes approches humaines qui avaient échoué, mais la forcer à réfléchir de manière purement originale à partir des axiomes.
Branchement multiple et pensée divergente (refus de convergence précoce) : Il a demandé à ChatGPT de lancer de nombreux « sous-agents », les laissant explorer des chemins véritablement différents. Les instructions avertissaient sévèrement : Ne convergez pas prématurément vers une même idée séduisante !
Audit contradictoire impitoyable (mode « élevage de gu ») : Les stratégies de preuve candidates devaient être placées à plusieurs reprises sous un examen contradictoire. Une voie n'était complètement écartée que lorsque d'autres agents avaient réussi à trouver un contre-exemple.
La détermination de s'accrocher jusqu'au bout : Le prompt donnait un ordre ferme : ne pas abandonner avant d'obtenir une preuve complète capable de résister à une vérification logique extrême.
Après avoir réglé tout cela, le Dr Jin a appuyé sur Entrée, puis est retourné à son travail, sans plus intervenir.
En mode ChatGPT Work, GPT-5.6 Sol a fonctionné comme une bête numérique infatigable, galopant sans relâche dans les profondeurs des mathématiques pendant environ 16 heures.
Durant ces 16 heures, l'IA a traversé des dizaines de milliers d'hypothèses, de réfutations, de reconstructions, pour finalement réussir la preuve.
Quand les mathématiciens ont vu ce théorème, ils ont été profondément choqués : L'IA n'a pas utilisé l'estimation dure et extrêmement complexe que les humains imaginaient, mais a réduit le problème, grâce à une « stratégie d'échantillonnage » d'une ingéniosité stupéfiante, à une simple « condition de positivité » inattendue.
C'est comme si les humains essayaient de pousser une énorme porte en fer avec leur force brute, tandis que l'IA avait simplement trouvé un point d'appui infinitésimal dans l'interstice de la porte, l'avait poussé doucement, et la porte s'était ouverte. Une véritable réduction dimensionnelle.
Le Dr Jin, modeste, a déclaré que trouver cette idée clé « comportait certainement une part de chance ». Mais tout le monde sait que la chance ne sourit qu'à ceux qui conçoivent la boussole parfaite.
Ce qui est encore plus admirable, c'est que le Dr Jin a entièrement ouvert ce processus. Son dépôt GitHub contient non seulement l'article final, mais aussi ce super prompt, les brouillons des itérations successives, le code de preuve formelle en Lean 4 et le rapport d'audit axiomatique. Tout est exposé au grand jour, soumis à l'examen de l'humanité entière.
Adresse open source : https://github.com/jinshanmu/CrouzeixConjecture
Prépublication : https://www.preprints.org/frontend/manuscript/f5469a625a8e7313e19bbf4d6c608cff/download_pub
Une deuxième preuve huit jours plus tard, un séisme dans le monde des mathématiques
Au début, face à cette prépublication tombée du ciel, les grands mathématiciens l'ont examinée avec scepticisme. Après tout, « un outsider annonce la résolution d'une conjecture de classe mondiale » se solde souvent par une farce dans le milieu mathématique.
Mais quelques heures seulement plus tard, le scepticisme d'Alex Townsend et d'Anne Greenbaum s'est transformé en stupéfaction, puis finalement en admiration – « Cet argument est valable ! »
Ensuite, Michel Crouzeix lui-même, l'auteur de la conjecture, s'est penché sur la preuve, ligne par ligne.
Enfin, le verdict est tombé : Le manuscrit du Dr Jin est correct. L'énigme de 22 ans est définitivement résolue.
Cependant, le séisme académique déclenché par l'IA ne faisait que commencer.
Juste huit jours après la publication de la prépublication du Dr Jin (le 4 août), deux autres mathématiciens, Emiel Lorist et Felix Schwenninger, ont soudainement publié une preuve indépendante de seulement 5 pages !
Titre : A SOLUTION TO CROUZEIX’S CONJECTURE
Prépublication : https://arxiv.org/pdf/2608.03841
Cette preuve de 5 pages est totalement différente de celle du Dr Jin. Elle est extrêmement concise et élégante, combinant la représentation classique du potentiel double couche avec un lemme de perturbation sur la 2-expansion.
Pour les mathématiciens traditionnels, cette approche de preuve correspond davantage aux habitudes cognitives humaines existantes, semblant plus « conviviale ».
Coïncidence : Lorist et Schwenninger ont admis qu'ils avaient également utilisé ChatGPT 5.6 pour explorer des stratégies de preuve.
Un problème insoluble depuis 22 ans, avec le soutien de l'IA, a vu émerger deux preuves radicalement différentes mais toutes deux aussi ingénieuses, à seulement 8 jours d'intervalle !
Informé de cela, le Dr Jin, loin de se vexer d'être « éclipsé », en a éprouvé une joie pure, considérant cela comme un complément intéressant à sa méthode.
L'aube d'un âge d'or
Durant cet été 2026, la roue de l'histoire a tourné en silence.
Dans l'histoire des mathématiques, il n'est pas rare que des médecins obtiennent des résultats mathématiques importants, mais ils étaient tous des génies ayant reçu une formation mathématique spécialisée à leur époque.
Ceci est probablement la première conjecture restée longtemps non résolue à être complètement résolue par un médecin sans formation mathématique spécialisée, grâce à l'IA.
Il y a seulement quelques années, imaginer qu'un système d'IA puisse contribuer à une « idée de preuve décisive » pour une conjecture majeure relevait du fantasme.
Mais maintenant, c'est bel et bien arrivé.
Cela ressemble aux deux bonds en avant dans l'histoire de l'astronomie.
Le premier, lorsque les astronomes devaient calculer à la main les données d'orbite, seuls quelques prodiges pouvaient entrevoir les étoiles. Le second, lorsque Galilée a inventé la lunette astronomique.
Il ne fait aucun doute que c'est le début d'un « âge d'or » pour les mathématiques appliquées et même pour toute la science. La découverte scientifique sera accélérée comme jamais auparavant, les barrières entre les différentes disciplines seront facilement brisées par l'IA.
Mais cela signifie aussi une redéfinition des identités. Quand une puissance de calcul massive commence à prendre en charge la déduction, quand un neurochirurgien peut, entre deux opérations, cueillir les joyaux de la couronne mathématique, la définition de « devenir mathématicien » ou « devenir scientifique » est en train de subir une déchirure et une renaissance intenses.
Le futur est déjà là. Armé de cette lunette astronomique qu'est l'IA, vers quel coin du ciel avez-vous décidé de la braquer ?
Références :
https://alextownsend.net/essays/SIAMNews_CrouzeixConjecture.pdf
https://www.preprints.org/manuscript/202607.1919
https://aimath.org/pastworkshops/crouzeix.html
Cet article provient du compte WeChat « New Zhiyuan », auteur : ASI Apocalypse, éditeur : David
