Yang–Mills : le comité annonce la diffusion de la preuve IA
11 novembre 2026Le comité scientifique présidé par David Gross a annoncé, dans son communiqué du 9 novembre, la publication pour le 10 novembre 2026 de deux dépôts GitHub consacrés au résultat d’OpenAI sur Yang–Mills. L’un doit contenir le code Lean soumis au groupe, l’autre son évaluation. L’annonce fixe une étape de diffusion ; l’accès effectif aux fichiers n’a pas pu être confirmé lors de cette vérification.
Ce que le comité dit avoir examiné
Le groupe indique que sa validation porte sur l’existence de la théorie pure de Yang–Mills selon les énoncés de référence. Cette version traite des champs de jauge sans y ajouter les quarks. Le code Lean permet d’exprimer une démonstration avec la précision requise pour contrôler ses étapes formelles.
La conformité de l’énoncé formalisé au problème physique et mathématique visé reste elle aussi essentielle. L’ouverture des documents doit permettre à d’autres spécialistes d’examiner la construction et ses hypothèses.
Le problème du millénaire reste plus large
Les éléments annoncés ne règlent pas le volet du mass gap, qui porte sur l’existence d’un écart de masse strictement positif au-dessus du vide. Il serait donc excessif de présenter le problème du millénaire comme entièrement résolu.
L’intérêt immédiat de cette publication annoncée tient à la possibilité d’un examen public, au-delà de l’annonce initiale du laboratoire et de l’évaluation du comité.
Sources
À très vite sur l’EternoStation.
