OpenAI prépare la première publication de sa preuve Yang-Mills

OpenAI a annoncé le 26 octobre 2026 que ses modèles d’intelligence artificielle avaient démontré l’existence mathématique de la théorie de Yang-Mills. La démonstration compte 1 147 pages et reste confidentielle. Un comité de cinq physiciens vérifie actuellement sa version informatique. Dans un communiqué daté du 3 novembre, ce groupe espère publier une première pièce « si possible la semaine prochaine ». Cette publication doit porter sur la théorie pure de Yang-Mills. Le comité annoncera chaque contenu produit par l’IA un jour entier avant sa diffusion. Cette échéance constitue le premier calendrier public communiqué depuis le début de la mission confiée par OpenAI.

La mission avance sous la présidence de David Gross, prix Nobel de physique 2004. Le comité réunit également Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov. OpenAI lui a confié cette mission le 16 octobre. Les experts examinent une formalisation écrite dans le langage Lean. Ce langage permet à un ordinateur de contrôler chaque étape d’une démonstration. Les physiciens vérifient aussi que les définitions et les énoncés correspondent aux formulations reconnues en physique et en mathématiques. Ils comparent enfin la formalisation informatique avec le traitement informel du problème. Le comité indique que cet effort progresse bien et espère l’achever très prochainement.

Cinq physiciens vérifient la formalisation

Lean contrôle les étapes demandées par la preuve, mais ce contrôle dépend du problème effectivement formulé dans le code. Le comité doit donc vérifier la correspondance entre la version informatique et le problème étudié par les scientifiques. Cette distinction concerne directement la théorie pure de Yang-Mills, sans quarks. La chromodynamique quantique constitue une version de cette théorie et décrit l’interaction nucléaire forte, qui lie les quarks dans les protons et les neutrons. Le problème de Yang-Mills représente la moitié d’un grand problème du prix du millénaire. L’autre moitié, démontrer l’existence d’un « écart de masse », reste ouverte selon la présentation de l’article.

La première publication ne couvrira donc que la théorie pure de Yang-Mills. OpenAI affirme avoir aussi traité le cas incluant les quarks, mais les 1 147 pages complètes viendront plus tard. Le comité attend d’être convaincu de leur justesse avant de les diffuser. Son communiqué prévoit des points d’étape réguliers et présente ses règles de fonctionnement. Cette méthode intervient après plusieurs appels à une publication rapide. Fin octobre, neuf mathématiciens de l’AGMAI, groupe bénévole chargé de conseiller OpenAI sur ses travaux mathématiques, ont demandé à l’entreprise de publier ses preuves « sans délai ». Le comité conserve néanmoins son calendrier de vérification.

Le comité maintient son calendrier

La prochaine étape annoncée est donc une première publication informatique en novembre, sous réserve de la formulation employée par le comité. Elle concernera la preuve Lean de l’existence de la théorie pure de Yang-Mills. Les travaux portant sur la version avec quarks ne sont pas inclus dans cette première pièce. Le comité prévoit une annonce un jour avant chaque diffusion de contenu produit par l’IA. Les chercheurs poursuivent parallèlement l’examen des définitions, des énoncés et de leur adéquation avec la présentation informelle. La publication des 1 147 pages dépendra ensuite de la conviction du comité quant à leur validité. Lire le communiqué du comité et ses règles de fonctionnement.