Yang-Mills : neuf mathématiciens exigent qu’OpenAI publie ses preuves

OpenAI affirme que l’un de ses modèles a démontré l’existence mathématique d’une théorie centrale de la physique. Mais presque personne n’a pu lire la démonstration. Neuf mathématiciens réunis dans un groupe indépendant, l’AGMAI, réclament désormais qu’elle soit rendue publique, et sans attendre.

Une annonce sans pièces à lire

Le lundi 26 octobre 2026, OpenAI a présenté trois résultats de premier plan, en mathématiques, en informatique et en physique. C’est le troisième qui fait débat. Selon Numerama, un modèle interne d’IA aurait prouvé l’existence mathématique de la théorie de Yang-Mills en quatre dimensions. Il aurait aussi fait de même pour la chromodynamique quantique, la théorie de la force qui lie les quarks entre eux, au cœur des atomes.

Le conditionnel s’impose : à ce stade, ces preuves relèvent de l’affirmation d’une entreprise. D’après Numerama, personne ne les a lues, à l’exception de cinq physiciens choisis par OpenAI et menés par David Gross, prix Nobel de physique 2004.

Autrement dit, le public dispose d’une annonce, d’un petit groupe de relecteurs désignés par l’entreprise, et d’aucun texte à examiner.

Qui est l’AGMAI et que demande-t-elle ?

L’Advisory Group on Mathematics and Artificial Intelligence (AGMAI) réunit neuf mathématiciens rattachés à l’Institute for Advanced Study de Princeton. Son origine est singulière. OpenAI avait approché certains de ses membres pour monter un comité consultatif externe. En accord avec l’entreprise, ils ont préféré créer un groupe indépendant et bénévole. Ce groupe conseille toutes les entreprises d’IA sur la publication de résultats mathématiques.

Le 26 octobre, l’AGMAI a publié un communiqué sans ambiguïté : « Nous appelons OpenAI à rendre publiques sans délai ses productions en langage naturel et en Lean qui sous-tendent l’annonce de ses preuves d’existence pour la théorie de Yang-Mills, la chromodynamique quantique et une complétion du modèle standard. »

Son argument tient en deux points. D’abord, ces questions sont centrales en physique, mais aussi en mathématiques : l’existence de la théorie de Yang-Mills fait partie des problèmes du millénaire, et construire des théories quantiques des champs en interaction à quatre dimensions est un objectif de la physique mathématique depuis des décennies. Ensuite, « la connaissance doit se développer au grand jour, chacun disposant du même niveau d’accès ».

Le calendrier : 9 septembre, 16 octobre, 26 octobre

Le point le plus gênant pour OpenAI tient à ses propres dates. L’entreprise date sa preuve de Yang-Mills du 9 septembre. Elle dit avoir attendu la fin de sa traduction en Lean, un logiciel qui vérifie une démonstration étape par étape. Ce travail s’est terminé le 16 octobre.

L’AGMAI en tire une conclusion logique. Si la vérification est achevée, la raison invoquée pour différer la publication a disparu. « Selon leurs propres dires, c’est désormais chose faite ; il n’y a donc aucune raison scientifique de retarder davantage cette publication », écrit le groupe.

Ce que l’on ignore, c’est pourquoi la publication n’a pas suivi. Numerama ne rapporte aucune explication d’OpenAI sur ce point. Plusieurs hypothèses sont possibles, mais aucune n’est documentée dans les sources : on ne peut que constater l’écart entre le 16 octobre et le 26.

Le contraste avec le reste de l’annonce est frappant. Le même jour, OpenAI a mis en ligne le texte et le code Lean d’un autre résultat : la réfutation de l’hypothèse du temps exponentiel, présentée par un chercheur en IA d’OpenAI comme « peut-être la plus grande surprise » depuis 20 ans dans ce domaine. Pour ce résultat-là, les pièces sont consultables. Pour Yang-Mills, elles ne le sont pas.

Des relecteurs choisis par l’entreprise

Le second reproche porte sur la méthode. Comme le relève Scientific American, cité par Numerama, confier la preuve à des experts sélectionnés par l’entreprise va à l’encontre d’une note que l’AGMAI a elle-même publiée la veille, le 25 octobre. Ce texte déconseille aux firmes d’IA de choisir les chercheurs qui voient les résultats en premier.

Le sujet dépasse ce seul dossier. Début octobre, un autre collectif, l’Association for Human Mathematics, appelait déjà à cesser toute collaboration avec OpenAI. La méfiance d’une partie de la communauté mathématique ne date donc pas de cette annonce.

Un relecteur de prestige, comme un Nobel, est une garantie réelle de sérieux. Mais le choix des relecteurs par l’auteur de l’annonce pose une question de principe : qui décide de l’ordre dans lequel la communauté découvre un résultat ? L’AGMAI répond que cela ne doit pas dépendre du laboratoire.

Un résultat qui ne règle pas tout

Il faut aussi rester précis sur ce qui serait prouvé. L’Institut de mathématiques Clay a posé le problème de Yang-Mills en 2000, avec six autres grandes questions mathématiques, chacune dotée d’un million de dollars (environ 860 000 euros). Son énoncé exige aussi de démontrer l’existence d’un « écart de masse », c’est-à-dire une masse minimale strictement positive pour les particules de la théorie.

Selon Numerama, OpenAI ne revendique pas cette partie. Même publiée et validée, la preuve annoncée ne résoudrait donc pas entièrement le problème du millénaire. Une annonce spectaculaire peut ainsi cacher un périmètre plus étroit que ce que le titre laisse imaginer. Seule la lecture du texte permet de le mesurer.

Ce que cela change pour lire une affirmation d’IA

Cette affaire offre une grille de lecture simple, valable bien au-delà des mathématiques. Face à une affirmation produite par une IA, quatre questions méritent d’être posées :

• Les pièces sont-elles accessibles à tous, ou seulement à des relecteurs choisis ?
• Qui a vérifié, et selon quelle méthode ? Ici, Lean permet une vérification mécanique, étape par étape.
• Que couvre exactement le résultat, et que laisse-t-il de côté, comme l’écart de masse ?
• Qui fixe le calendrier de la publication, et pour quelle raison ?

Une question reste ouverte : quand les preuves seront en ligne, il faudra encore vérifier que ce que Lean a validé correspond bien à ce qu’OpenAI a annoncé. C’est précisément le travail que la communauté pourra faire, si on lui en donne les moyens. Dans une PME comme dans un laboratoire, une affirmation d’IA ne vaut que si quelqu’un d’autre peut la refaire. Reste à observer si OpenAI publie, et quand.

Sources

• « Aucune raison scientifique de retarder » la preuve : des mathématiciens s’agacent de l’attitude d’OpenAI sur un résultat de physique crucial (Numerama)