Le comit\u00e9 scientifique pr\u00e9sid\u00e9 par David Gross a annonc\u00e9, dans son communiqu\u00e9 du 9 novembre, la publication pour le 10 novembre 2026 de deux d\u00e9p\u00f4ts GitHub consacr\u00e9s au r\u00e9sultat d\u2019OpenAI sur Yang\u2013Mills. L\u2019un doit contenir le code Lean soumis au groupe, l\u2019autre son \u00e9valuation. L\u2019annonce fixe une \u00e9tape de diffusion ; l\u2019acc\u00e8s effectif aux fichiers n\u2019a pas pu \u00eatre confirm\u00e9 lors de cette v\u00e9rification.<\/p>\n
Le groupe indique que sa validation porte sur l\u2019existence de la th\u00e9orie pure de Yang\u2013Mills selon les \u00e9nonc\u00e9s de r\u00e9f\u00e9rence. Cette version traite des champs de jauge sans y ajouter les quarks. Le code Lean permet d\u2019exprimer une d\u00e9monstration avec la pr\u00e9cision requise pour contr\u00f4ler ses \u00e9tapes formelles.<\/p>\n
La conformit\u00e9 de l\u2019\u00e9nonc\u00e9 formalis\u00e9 au probl\u00e8me physique et math\u00e9matique vis\u00e9 reste elle aussi essentielle. L\u2019ouverture des documents doit permettre \u00e0 d\u2019autres sp\u00e9cialistes d\u2019examiner la construction et ses hypoth\u00e8ses.<\/p>\n
Les \u00e9l\u00e9ments annonc\u00e9s ne r\u00e8glent pas le volet du mass gap, qui porte sur l\u2019existence d\u2019un \u00e9cart de masse strictement positif au-dessus du vide. Il serait donc excessif de pr\u00e9senter le probl\u00e8me du mill\u00e9naire comme enti\u00e8rement r\u00e9solu.<\/p>\n
L\u2019int\u00e9r\u00eat imm\u00e9diat de cette publication annonc\u00e9e tient \u00e0 la possibilit\u00e9 d\u2019un examen public, au-del\u00e0 de l\u2019annonce initiale du laboratoire et de l\u2019\u00e9valuation du comit\u00e9.<\/p>\n<\/p>\n