Va-t-on bientôt en savoir plus sur la preuve encore secrète d’OpenAI, qui est censée démontrer l’existence mathématique de la théorie de Yang-Mills, la moitié de l’un des 7 grands problèmes du prix du millénaire (l’autre moitié, prouver l’existence d’un « écart de masse », reste ouverte) ? Oui, à en croire le groupe de physiciens qui a été sollicité par l’entreprise américaine spécialisée dans les systèmes d’intelligence artificielle.
Rappel des faits : OpenAI affirme depuis le 26 octobre 2026 que ses modèles d’IA ont démontré l’existence mathématique de la théorie, dont une version, la chromodynamique quantique, décrit l’interaction nucléaire forte, celle qui lie les quarks (les briques élémentaires des protons et des neutrons, les constituants de base d’un noyau atomique) entre eux. Or, personne n’a encore vu cette démonstration.
Personne, hormis OpenAI et les personnes de ce comité ad hoc. Ce collectif a donné des nouvelles ce 3 novembre, avec un deuxième point d’étape sur la mission qu’OpenAI a confiée le 16 octobre à son président, David Gross. Une prise de parole brève, mais qui donne pour la première fois un calendrier : on peut s’attendre à une première publication en novembre.
Plus précisément, une première pièce devrait sortir « si possible la semaine prochaine », et chaque publication de contenu produit par l’IA sera annoncée un jour entier à l’avance.
Que vérifient les cinq physiciens sur Yang-Mills ?
« Actuellement, nous nous concentrons sur la vérification de la preuve Lean de l’existence de la théorie pure de Yang-Mills, en veillant spécifiquement à ce que les définitions et les énoncés des problèmes correspondent à ce qui est standard en physique et en mathématiques, et que la formalisation soit en adéquation avec le traitement informel », précise le comité.
Le comité épluche donc encore la version de la preuve écrite en Lean. Ce langage informatique permet à la machine de contrôler chaque étape d’une démonstration. Sauf qu’un ordinateur vérifie juste ce qu’on lui a demandé de prouver. Les chercheurs doivent donc s’assurer de la correspondance parfaite entre le problème dans sa version informatique et celui sur lequel planchent les scientifiques, en langage courant.
« Cet effort progresse bien et nous espérons l’achever très prochainement »
D’après eux, les choses avancent à bon rythme : « Cet effort progresse bien et nous espérons l’achever très prochainement. » Pour rappel, le comité rassemble cinq pointures du domaine : David Gross, prix Nobel de physique 2004, qui le préside, Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov.
Cette première publication ne portera que sur la théorie de Yang-Mills dite « pure », c’est-à-dire sans les quarks, alors qu’OpenAI dit avoir aussi traité le cas avec les quarks. Les 1 147 pages rédigées par l’IA viendront plus tard, avec l’évaluation du comité. Comme il l’expliquait dans son premier communiqué, il attendra pour ça d’être convaincu qu’elles sont justes.
Ce rythme ne convient pas à tout le monde. Fin octobre, neuf mathématiciens de l’AGMAI, un groupe bénévole formé pour conseiller OpenAI sur ses travaux en mathématiques, ont demandé à OpenAI de publier « sans délai » ses preuves. De son côté, le comité promet des points d’étape réguliers et a joint ses règles de fonctionnement à son communiqué.
+ rapide, + pratique, + exclusif
Zéro publicité, fonctions avancées de lecture, articles résumés par l'I.A, contenus exclusifs et plus encore.
Découvrez les nombreux avantages de Numerama+.
Vous avez lu 0 articles sur Numerama ce mois-ci
Tout le monde n'a pas les moyens de payer pour l'information.
C'est pourquoi nous maintenons notre journalisme ouvert à tous.
Mais si vous le pouvez,
voici trois bonnes raisons de soutenir notre travail :
- 1 Numerama+ contribue à offrir une expérience gratuite à tous les lecteurs de Numerama.
- 2 Vous profiterez d'une lecture sans publicité, de nombreuses fonctions avancées de lecture et des contenus exclusifs.
- 3 Aider Numerama dans sa mission : comprendre le présent pour anticiper l'avenir.
Si vous croyez en un web gratuit et à une information de qualité accessible au plus grand nombre, rejoignez Numerama+.
Toute l'actu tech en un clin d'œil
Ajoutez Numerama à votre écran d'accueil et restez connectés au futur !
Un édito exclusif, un guide, une reco de lecture et l’agenda de la rédaction : c’est ce que vous trouverez tous les jeudis dans ToujoursPlus, la newsletter tech écrite par Julien Cadot. Inscrivez-vous gratuitement ici !