OpenAI frappe fort en physique théorique
Le 26 octobre 2026, OpenAI a créé la surprise en annonçant que ses modèles d'IA internes avaient produit trois résultats de recherche majeurs, dont une prétendue preuve rigoureuse de l'existence de la théorie de Yang-Mills en quatre dimensions. Cette avancée, si elle est confirmée, comblerait une lacune mathématique vieille de plus de soixante-dix ans et constituerait un pas vers la résolution de l'un des sept problèmes du millénaire du Clay Mathematics Institute, doté d'un million de dollars.
La théorie de Yang-Mills, formulée en 1954 par Chen-Ning Yang et Robert Mills, est le cadre mathématique de la chromodynamique quantique (QCD), qui décrit l'interaction forte entre quarks et gluons. Elle est au cœur du Modèle standard de la physique des particules. Cependant, personne n'avait jamais réussi à démontrer que cette théorie existe comme objet mathématique cohérent en quatre dimensions. OpenAI affirme désormais avoir franchi ce cap, mais uniquement pour la partie « existence » du problème. La seconde partie, le « mass gap » (l'existence d'une masse minimale non nulle pour les excitations les plus légères), reste non résolue.
Un comité de relecture prestigieux
Pour examiner cette preuve, OpenAI a fait appel à un panel de cinq physiciens dirigé par David Gross, lauréat du prix Nobel 2004 pour sa découverte de la liberté asymptotique. Cette propriété mathématique est précisément ce qui rend possible la construction revendiquée par OpenAI. Le choix de Gross est donc symbolique : c'est l'homme dont les travaux ont ouvert la voie à une telle démonstration qui est chargé de l'évaluer. Les matériaux ne sont toutefois pas encore publics, ce qui suscite des critiques.
Un contexte de défiance croissante
Cette annonce intervient dans un climat tendu entre OpenAI et la communauté scientifique. Quelques semaines plus tôt, l'entreprise avait déjà publié 722 articles de mathématiques générés par IA, provoquant des remous. Pour répondre aux critiques, OpenAI avait mis en place l'Advisory Group on Mathematics and Artificial Intelligence (AGMAI), un panel d'experts chargé de superviser la diffusion des résultats. Mais l'annonce du 26 octobre contredit les recommandations de ce groupe, qui avait désigné des experts pour encadrer la publication des preuves. AGMAI a immédiatement appelé OpenAI à rendre public le papier sur Yang-Mills, estimant qu'« il n'y a aucune raison scientifique de retarder davantage ».
Des résultats en concurrence avec Anthropic
Deux des trois résultats annoncés coïncident avec des travaux étroitement liés menés par Anthropic, le concurrent direct d'OpenAI. Cette coïncidence soulève des questions sur la course à l'IA scientifique et sur la transparence des méthodes. Les modèles utilisés restent propriétaires, et les prompts exacts, le temps de calcul et les chaînes de raisonnement n'ont pas été divulgués. Pour les chercheurs, il est donc impossible de reproduire ou de vérifier indépendamment les résultats.
Les autres preuves dans la tourmente
Outre Yang-Mills, OpenAI affirme avoir réfuté l'Exponential Time Hypothesis (ETH), une conjecture fondamentale en informatique théorique, et avoir prouvé la conjecture de lissage local en mathématiques, ce qui résoudrait également la conjecture de Kakeya et celle de restriction de Stein en toutes dimensions. Pour l'ETH, un groupe indépendant mené par Russell Impagliazzo, Ramamohan Paturi et Ryan Williams a été constitué. Ces chercheurs ont précisé qu'ils ne certifiaient pas le résultat et ont exigé la publication des données brutes, ce qu'OpenAI a accepté. Ils ont également demandé que l'entreprise finance une conférence pour la communauté.
Une vérification publique qui tarde
La question de la vérification indépendante est centrale. Selon Scientific American, les résultats n'ont pas encore été validés et suscitent déjà la controverse. La revue souligne que ces « slop drops » (largages de résultats générés par IA) sont de plus en plus fréquents et posent un défi aux processus de validation scientifique traditionnels. Pour Yang-Mills, le comité dirigé par Gross détient les documents et n'a pas encore fixé de calendrier de publication. Le Clay Mathematics Institute n'a pas commenté.
Un enjeu de crédibilité pour l'IA scientifique
Au-delà de la physique, c'est la crédibilité des modèles d'IA comme outils de découverte scientifique qui est en jeu. Si la preuve de Yang-Mills s'avère correcte, elle marquerait une étape majeure : une IA aurait produit une démonstration mathématique d'une profondeur jusqu'ici inégalée. Mais les doutes persistent. La communauté exige transparence et reproductibilité, deux conditions que les entreprises d'IA ont jusqu'ici eu tendance à négliger.
Perspectives : vers une nouvelle ère de la recherche assistée par IA ?
Cette affaire illustre une tendance de fond : l'irruption des modèles génératifs dans la recherche fondamentale. Elle pose des questions éthiques et méthodologiques sur la paternité des découvertes, la vérification par les pairs et la propriété intellectuelle. Elle révèle aussi une tension entre l'urgence de communiquer des résultats spectaculaires et la rigueur scientifique exigée par des problèmes d'une telle envergure.
Si les preuves d'OpenAI sont validées, elles pourraient accélérer la résolution de problèmes ouverts depuis des décennies. Mais si elles ne le sont pas, elles risquent d'alimenter la méfiance envers les annonces fracassantes des géants de l'IA. Dans un cas comme dans l'autre, l'épisode Yang-Mills marquera un tournant dans la manière dont la science se fait à l'ère des machines.
Article mis à jour le 29 octobre 2026.
Commentaires