Un clinicien autodidacte et une session d'IA de 16 heures ont permis de résoudre l'un des problèmes ouverts des mathématiques appliquées.
En bref
Un neurochirurgien de Pékin a utilisé GPT-5.6 pour prouver une conjecture mathématique vieille de 20 ans, signalant un changement dans qui peut produire — et vérifier — la recherche.
Shanmu Jin, chercheuse postdoctorale et interne en neurochirurgie à l'hôpital du Collège médical de l'Union de Pékin, a démontré la conjecture de Crouzeix, un problème d'analyse matricielle resté non résolu pendant plus de vingt ans. L'argument décisif n'est pas né dans un département de mathématiques : il a émergé lors d'une exécution autonome de 16 heures d'un programme informatique. GPT-5.6 Sol à l'intérieur ChatGPT Mode de travail, guidé par une invite soigneusement conçue par Jin lui-même.
Jin a abordé le problème par un cheminement non linéaire. Après des études de géologie, il a obtenu un diplôme de médecine et a approfondi ses connaissances mathématiques par l'auto-apprentissage, initialement motivé par des recherches sur l'échographie transcrânienne. La conjecture de Crouzeix, formulée en 2004, porte sur la relation entre la norme spectrale d'une matrice et le maximum d'un polynôme sur son domaine de définition – une région convexe compacte du plan complexe qui décrit mieux le comportement de la matrice que ses seules valeurs propres. Sa résolution trouve des applications directes dans l'analyse des fonctions matricielles, les solveurs itératifs tels que GMRES et les méthodes de Krylov rationnelles.
Au lieu d'interroger le modèle de manière interactive, Jin a exécuté une session autonome prolongée en utilisant une architecture d'invite adaptée d'une autre. OpenAI Ce modèle avait été développé pour un résultat mathématique antérieur, la conjecture de la double couverture cyclique. Son architecture interdisait l'accès à Internet. Des sous-agents concurrents étaient chargés de développer et de tester indépendamment différentes stratégies de démonstration, avec des instructions explicites interdisant toute convergence prématurée et l'obligation de réfuter les arguments candidats uniquement par des contre-exemples concrets. Le modèle devait poursuivre son exécution jusqu'à ce qu'une démonstration complète résiste à un examen contradictoire interne. La prépublication qui en résulte, mise en ligne le 27 juillet 2026, comprend l'énoncé complet, les versions successives du manuscrit, une formalisation Lean et un audit des axiomes.
La validation par les pairs et la question de savoir qui fait des mathématiques maintenant
La démonstration a été examinée et confirmée par le mathématicien Alex Townsend de l'université Cornell, l'analyste numérique Anne Greenbaum et Michel Crouzeix lui-même, l'auteur initial de la conjecture. L'évaluation par les pairs est en cours. Huit jours après la parution de la prépublication initiale, les mathématiciens Emiel Lorist et Felix Schwenninger ont publié une démonstration indépendante de cinq pages, utilisant une méthode différente et combinant la théorie classique du potentiel à double couche avec un lemme de perturbation pour les dilatations de dimension 2. Jin a salué ce résultat parallèle comme un complément à ses propres travaux.
Cet épisode met en lumière une mutation structurelle de la recherche mathématique qu'il est difficile d'ignorer. Lorsqu'un problème resté ouvert depuis 2004 est résolu par un clinicien autodidacte à l'aide d'un outil d'IA grand public, les obstacles à l'obtention de nouveaux résultats diminuent considérablement, tandis que l'expertise nécessaire à la vérification de ces résultats devient d'autant plus concentrée et précieuse.
Dans le domaine de l'IA, ce cas illustre concrètement le potentiel des modèles de langage de pointe lorsqu'ils sont confrontés à des tâches autonomes bien structurées et à un temps de calcul suffisant. Reste à savoir si la communauté mathématique dispose des infrastructures nécessaires pour absorber le volume de résultats qui pourraient en découler.
Clause de non-responsabilité
En ligne avec la Lignes directrices du projet de confiance, veuillez noter que les informations fournies sur cette page ne sont pas destinées à être et ne doivent pas être interprétées comme des conseils juridiques, fiscaux, d'investissement, financiers ou toute autre forme de conseil. Il est important d’investir uniquement ce que vous pouvez vous permettre de perdre et de demander des conseils financiers indépendants en cas de doute. Pour plus d'informations, nous vous suggérons de vous référer aux conditions générales ainsi qu'aux pages d'aide et de support mises à disposition par l'émetteur ou l'annonceur. MetaversePost s'engage à fournir des rapports précis et impartiaux, mais les conditions du marché sont susceptibles de changer sans préavis.
A propos de l'auteur
Alisa, journaliste dévouée au MPost, se spécialise dans les cryptomonnaies, l'IA, les investissements et le vaste domaine de Web3. Avec un œil attentif sur les tendances et technologies émergentes, elle propose une couverture complète pour informer et impliquer les lecteurs dans le paysage en constante évolution de la finance numérique.
Plus d'articles
Alisa, journaliste dévouée au MPost, se spécialise dans les cryptomonnaies, l'IA, les investissements et le vaste domaine de Web3. Avec un œil attentif sur les tendances et technologies émergentes, elle propose une couverture complète pour informer et impliquer les lecteurs dans le paysage en constante évolution de la finance numérique.
