Après plusieurs semaines d’attente et de controverses dans la communauté scientifique, OpenAI a finalement rendu publique, le 10 novembre 2026, sa démonstration mathématique portant sur la théorie de Yang-Mills, l’un des grands problèmes non résolus de la physique théorique.
Annoncée fin octobre, cette avancée avait suscité un vif intérêt, mais également des interrogations, l’entreprise américaine ayant initialement conservé sa démonstration confidentielle. Seuls cinq physiciens avaient alors été autorisés à examiner les travaux.
Le comité, présidé par David Gross, prix Nobel de physique 2004, et composé de quatre autres spécialistes, a finalement donné son feu vert à la publication du code informatique de la démonstration ainsi que de son évaluation scientifique.
Le résultat repose sur un modèle d’intelligence artificielle développé par OpenAI, capable de produire une démonstration particulièrement complexe, comptant 1 147 pages. Celle-ci a été formalisée avec Lean, un outil informatique permettant de vérifier rigoureusement les étapes d’un raisonnement mathématique.
Selon les conclusions du comité, le code démontre bien l’existence mathématique de la théorie de Yang-Mills dans sa version pure, conformément aux définitions scientifiques de référence.
Cette théorie, élaborée dans les années 1950, joue un rôle fondamental dans la compréhension de l’interaction nucléaire forte, qui maintient notamment les quarks ensemble au sein des protons et des neutrons.
Toutefois, cette avancée ne signifie pas que le problème du millénaire de Yang-Mills est entièrement résolu. La démonstration ne traite pas la question de l’« écart de masse », qui constitue la seconde partie de cette énigme mathématique.
Inscrit parmi les sept problèmes du millénaire établis en 2000 par l’Institut Clay de mathématiques, ce défi est associé à une récompense d’un million de dollars pour sa résolution complète et sa validation.
La publication des travaux d’OpenAI ouvre désormais la voie à un examen plus large par la communauté scientifique, qui pourra étudier et vérifier indépendamment cette avancée.
