Le groupe de travail Yang-Mills, dirigé par le prix Nobel David J. Gross, prévoit de publier le 10 novembre 2026 le code Lean d’OpenAI ainsi qu’un rapport de validation dans deux dépôts GitHub. Cette formalisation, longue de 1 147 pages, concerne l’existence de la théorie quantique de Yang-Mills, un problème du prix du millénaire de l’Institut Clay lié à la chromodynamique quantique. Le travail s’appuie notamment sur la régularisation sur réseau de Wilson et les méthodes de renormalisation de Balaban. La preuve ne résout toutefois ni la question de l’écart de masse ni celle du confinement, qui restent les autres défis liés à ce problème.
Source: Lire l’article original
Avertissement : ce contenu est fourni à titre d’information uniquement et ne constitue pas un conseil en investissement. Les cryptomonnaies sont très volatiles : vous pouvez perdre tout votre capital. Faites toujours vos propres recherches. Mentions légales
