Le 26 octobre 2026, l’AGMAI, un groupe indépendant de neuf mathématiciens, a demandé à OpenAI de publier sans délai les preuves derrière trois résultats annoncés par l’entreprise, dont un sur la théorie de Yang-Mills. OpenAI affirme qu’un de ses modèles a démontré l’existence mathématique de cette théorie en quatre dimensions, mais seules cinq personnes choisies par l’entreprise ont pu consulter la preuve.
L’AGMAI souligne que la vérification de la preuve en Lean, un logiciel qui contrôle des démonstrations étape par étape, s’est achevée le 16 octobre. OpenAI a publié le texte et le code Lean d’un autre résultat annoncé le même jour, mais pas ceux sur Yang-Mills. Même publiée, cette preuve ne réglerait pas tout le problème du millénaire : OpenAI ne revendique pas la démonstration de l’écart de masse demandé par l’Institut Clay.
Pourquoi c'est important
Pour les mathématiciens qui voudraient examiner ces résultats, la publication permettrait une vérification plus large ; leur validité reste difficile à évaluer tant que les preuves ne sont pas accessibles.
