OpenAI affirme avoir prouvé la théorie de Yang-Mills en quatre dimensions

OpenAI a démontré mathématiquement l'existence de la théorie de Yang-Mills en quatre dimensions, une théorie fondamentale de la physique quantique. Cette preuve est validée par le logiciel Lean, mais les détails restent confiés à un groupe de cinq physiciens. La théorie de Yang-Mills est l'une des deux parties d'un problème du millénaire, dont la seconde partie reste ouverte. OpenAI a également démontré des résultats en mathématiques et en informatique, mais les démonstrations pour les équations de Navier-Stokes et l'hypothèse de Riemann restent secrètes. Le groupe de David Gross est chargé de rédiger la présentation des travaux, et les manuscrits de l'IA ne sont pas diffusés.