Un problème de théorie des graphes de 30 ans s'effondre en une nuit.
Aujourd'hui même, GPT-5.6 Pro a réfuté la conjecture de trente ans dans le domaine de la théorie des graphes — Dinitz-Garg-Goemans.
La preuve qu'il a fournie est extrêmement claire : une image montrant un coût de flux de points de 58.
Any indivisible flow with a capacity violation of no more than 15 has a cost of at least 60.
58 < 60, une conjecture de théorie des graphes datant de 30 ans vient de tomber.
Le même jour, le docteur de l'Université Columbia, Shouqiao Wang, a résolu six problèmes d'Erdős ouverts en cinq jours en utilisant GPT-5.6 Sol avec un flux de travail Codex.
Hier soir, les nouveaux lauréats de la médaille Fields ont été annoncés.
Mais actuellement, dans le milieu, une rumeur circule largement : ce pourrait être la dernière édition du prix Fields pour l'humanité.
Une conjecture de 30 ans
GPT-5.6 Pro falsifié
Cette fois-ci, l'intégralité de l'historique de discussion avec GPT-5.6 Pro a été rendue publique.
Dmitry Rybin déclare que « l'IA réfute les anciennes hypothèses » est presque devenu un memé viral.
Mais il se souciait vraiment de cette question, ayant passé plusieurs semaines à réfléchir dans les deux directions : la preuve et la réfutation.
Il a ajouté que cette conversation homme-machine était en elle-même une excellente blague.
D'abord, clarifions ce que cette question est. À l'époque, Dinitz, Garg et Goemans ont démontré une conclusion très élégante :
S'il existe un flot fractionnaire respectant les limites de capacité, alors il existe nécessairement un flot entier dont la capacité est dépassée d'au plus la « demande maximale ».
Goemans a ensuite ajouté une conjecture naturelle : est-il possible de ne pas dépasser la capacité de manière aussi importante tout en évitant une augmentation des coûts ?
Personne n'a jamais réussi à produire cette version à coût réduit.
Dans l'article arXiv de 2023, il était ouvert ; dans les publications de janvier 2026, il l'est toujours.
Presque tous ceux qui s'occupent de graphisme l'ont envisagé.
Les contre-exemples fournis par le modèle sont les suivants : trois terminaux avec des demandes respectives de 15, 10 et 15. Chaque terminal dispose d’un « chemin économique » (coût nul) et d’un « chemin coûteux » (coût de 30).
L'essentiel est que les trois chemins bon marché soient deux à deux en conflit. En choisissant deux quelconques, l'une des arêtes sera forcément surchargée.
Ainsi, toute move légale ne peut utiliser qu'un seul chemin bon marché, et les deux autres terminaux doivent emprunter les chemins coûteux, pour un coût minimum de 60.
Et le flux de points peut utiliser simultanément ces trois chemins bon marché dans les proportions de 1/3, 2/5, 1/3, pour un coût de seulement 58.
Les personnes familières avec l'optimisation combinatoire reconnaîtront immédiatement : il s'agit d'une inégalité d'ensemble stable pour un triangle.
La solution entière satisfait z₁+z₂+z₃≤1, tandis que la solution fractionnaire est 1/3+2/5+1/3=16/15, supérieure à 1.
Au cours de toute la conversation, Rybin n'a prononcé que trois phrases.
- Construisez un contre-exemple : vous devez faire une percée, trouvez un contre-exemple structuré.
- Deuxième phrase : Continuez à chercher, avec une stratégie claire issue d'une compréhension approfondie de la structure du problème.
- Troisième phrase : Les résultats partiels suffisent ; nous donnons directement un contre-exemple complet et inconditionnel.
Les médaillés d'or aux Olympiades de mathématiques se sont tournés vers l'algorithmique.
Dmitry Rybin, qui a remis en question 30 ans de théorie des graphes, est co-fondateur d'une startup d'IA valorisée à 100 millions de dollars.
Dans son profil, Rybin a obtenu un doctorat en apprentissage automatique de l'Université chinoise de Hong Kong (Shenzhen).
Il a également remporté une médaille d'or au Concours international de mathématiques pour étudiants et une médaille d'or au Concours national de mathématiques.
Ce qui l'a vraiment rendu célèbre dans la communauté, c'est l'article publié en mai 2025 —
Rybin a trouvé un algorithme plus rapide pour calculer le produit d'une matrice par sa transposée.
Cette opération semble abstraite, mais elle constitue la matrice de covariance en statistique, la base de la conception de circuits intégrés et des communications sans fil, et est également calculée répétitivement lors de l'entraînement des grands modèles actuels.
Juste après octobre, il a publié un autre article : réduire de 10 % le calcul des opérations de l'attention causale.
Il a un dépôt sur GitHub intitulé « Expériences sur la découverte et l'optimisation d'algorithmes avec OpenEvolve ».
Un médaillé d'or aux Olympiades de mathématiques, pendant son doctorat, il n'a pas poursuivi les grands modèles, mais s'est plongé dans la question : « Comment permettre aux machines d'aider les humains à découvrir de nouveaux algorithmes ? »
Alumni chinois de l'école de mathématiques de l'Université de Pékin
Cinq jours pour résoudre six défis majeurs
Sur la même ligne chronologique, il y a un autre événement.
Le docteur Shouqiao Wang de l'Université Columbia a déclaré qu'il avait résolu en 5 jours six problèmes d'Erdős précédemment marqués comme ouverts en utilisant GPT-5.6 Sol avec Codex.
Au total, environ 13 tentatives ont été effectuées, avec un taux de réussite de 46 %, dont une question a été exécutée en continu pendant 32 heures.
Il a décomposé la méthode en trois points.
Lors du processus de sélection des sujets, ne retenir que les problèmes que les mathématiciens discutaient déjà, puis éliminer à l’aide de l’IA ceux étroitement liés à des conjectures majeures.
Définissez vous-même « ce qui constitue une solution » : reformulez précisément le problème, spécifiez ce qu'une preuve complète doit établir, listez les conclusions plus faibles qui ne sont pas valables, et identifiez les pièges spécifiques à cet exercice.
Exiger enfin qu'un agent d'opposition indépendant remette en question chaque conclusion candidate.
Le processus est une boucle infinie : essayer → échouer → diagnostiquer → changer de voie → rédiger un brouillon de preuve → contester l'audit → réparer.
Le modèle réfute et attaque continuellement ses propres arguments jusqu'à ce qu'aucun problème substantiel ne puisse plus être identifié.
Il est à noter qu'une des questions est celle que Terence Tao a autrefois étudiée et qui reste non résolue à ce jour.
À ce sujet, Shouqiao Wang a simplement mentionné : J'ai un fond en mathématiques, mais ce flux de travail ne nécessite pas de connaissances mathématiques approfondies.
Mais ce qu'il appelle « quelques antécédents » a une valeur un peu trop élevée.
À 13 ans, tandis que ses pairs suivaient encore leur programme scolaire au collège, il s'est inscrit en sautant une classe au concours de mathématiques Euclide de l'Université de Waterloo et a remporté la première place mondiale.
Les années suivantes, 2016 et 2017, il a remporté deux médailles d'argent aux Olympiades chinoises de mathématiques (CMO) et a naturellement obtenu la première place au Concours national de mathématiques pour lycéens en 2017.
En 2018, avec des talents au niveau maximum, il a poussé les portes du département de mathématiques de Peking University, où les dieux s'affrontent.
Mais le point le plus intéressant de l'histoire est qu'il n'a pas suivi le scénario en restant dans le monde des nombres purs.
Aujourd'hui, il a rejoint la Columbia Business School pour poursuivre un doctorat en décision, risque et exploitation.
Il a orienté sa capacité à décomposer des équations mathématiques vers des domaines de pointe plus ancrés dans la réalité : l'étude de la conception de mécanismes et de la théorie des jeux.
Le dernier prix Fields pour l'humanité ?
Quatre heures et demie pour résoudre une affaire non élucidée depuis 30 ans ; cinq jours pour résoudre six problèmes successifs.
Le prix Fields qui sera annoncé ce soir pourrait bien devenir le « dernier chant » de l'intelligence purement humaine.
Mais ce n'est pas la fin, c'est le début d'une « nouvelle ère » de coexistence et d'exploration entre l'IA et l'humanité.
Passant de la recherche individuelle à des affrontements autonomes entre plusieurs agents, l'IA devient progressivement un « partenaire de recherche » capable d'étendre véritablement les limites de la connaissance.
À quel point l’IA est-elle encore éloignée de remporter son propre « prix Fields » ?
Références :
https://x.com/DmitryRybin1/status/2079904005652893709?s=20
https://x.com/Qiaoqiao2001/status/2080003441821163958
Cet article provient du compte WeChat « Nouvelle Intelligence », auteur : Apocalypses de l'ASI, éditeur : Pêche