OpenAI affirme que ses modèles ont démontré l’existence mathématique, en quatre dimensions, de la théorie quantique de Yang-Mills. L’entreprise a annoncé ce résultat le 26 octobre 2026, avec deux autres résultats en mathématiques et en informatique. Les modèles concernés ne sont pas identifiés.
La théorie de Yang-Mills décrit notamment l’interaction forte, qui lie les quarks grâce aux gluons et contribue à maintenir ensemble protons et neutrons dans les noyaux atomiques. Le problème du prix du millénaire associé comporte toutefois deux volets : établir l’existence de la théorie, puis prouver qu’elle possède un « écart de masse ». OpenAI ne revendique que le premier. Le second reste ouvert.
Une vérification encore limitée
OpenAI dit que la preuve de Yang-Mills a été contrôlée avec Lean, un logiciel qui vérifie les étapes logiques d’une démonstration. Cette vérification ne couvre pas la preuve portant sur la chromodynamique quantique, ou QCD, la théorie de l’interaction forte avec les quarks. Et Lean vérifie le raisonnement tel qu’il a été traduit dans le logiciel : il ne garantit pas que cette traduction représente correctement la théorie physique.
Les manuscrits ne sont pas publics. Cinq physiciens les examinent à la demande d’OpenAI, sous la direction de David Gross, prix Nobel de physique en 2004. Le groupe comprend aussi Arthur Jaffe, coauteur de l’énoncé du problème, ainsi que Michael Douglas, Igor Klebanov et Nikita Nekrasov. Selon OpenAI, ces spécialistes ont choisi de rédiger eux-mêmes une présentation des travaux. Aucune date de publication n’a été annoncée.
Pas encore de prix ni de résolution complète
L’institut Clay a fixé à un million de dollars le prix lié à Yang-Mills. Il ne sera pas versé pour cette annonce : le problème n’est pas résolu dans son intégralité. Le règlement exige aussi une publication dans une revue reconnue, puis deux ans d’acceptation par la communauté scientifique.
Cette annonce intervient après des critiques visant les précédents travaux d’OpenAI sur les problèmes du millénaire, notamment des reproches concernant la variante de Navier-Stokes étudiée et l’attribution de travaux antérieurs. L’entreprise dit adapter sa méthode de publication aux retours des chercheurs. Elle revendique également une preuve de la conjecture de lissage local, en mathématiques, et une réfutation de l’hypothèse du temps exponentiel, en informatique. Ces deux résultats, comme celui de physique, restent des affirmations de l’entreprise.
Pourquoi c'est important
Pour les physiciens, la revendication pourrait apporter une preuve à un problème fondamental, mais ils ne peuvent pas encore examiner publiquement le manuscrit. Pour le grand public, aucun changement concret n’est établi : le volet de l’écart de masse reste ouvert et la preuve attend encore une présentation et une évaluation scientifiques.
