OpenAI affirme avoir fait trois découvertes en IA en mathématiques, informatique et physique

OpenAI a déclaré le 26 octobre 2026 que ses modèles ont produit trois nouveaux résultats : une preuve de la conjecture de lissage local en analyse harmonique, une réfutation de l'Exponential Time Hypothesis en informatique, et une preuve d'existence pour la chromodynamique quantique en physique [1]. Aucune des affirmations n'a été évaluée par les pairs ; des groupes d'experts externes les examineront maintenant [1][3].

Que prétend OpenAI avoir découvert avec ses modèles ?

En mathématiques, OpenAI indique que ses modèles ont prouvé la conjecture de lissage local de Sogge de 1991 dans toutes les dimensions, ce qui résoudrait également la conjecture de Kakeya et la conjecture de restriction de Stein dans toutes les dimensions [1]. Des travaux humains antérieurs avaient prouvé le lissage local dans deux dimensions spatiales en 2019 et la conjecture de Kakeya dans trois dimensions en 2025 [1].

En physique, OpenAI décrit une preuve d'existence mathématiquement rigoureuse de certaines théories quantiques des champs en quatre dimensions, y compris la chromodynamique quantique et une complétion unifiée du Modèle standard [1]. Comme sous-problème, elle indique que le travail prouve l'existence de la théorie de Yang-Mills pure, qui fait partie d'un problème du prix du millénaire de l'Institut Clay de mathématiques [1]. Ce matériel n'a pas été publié [1][3].

Pourquoi la revendication sur l'Exponential Time Hypothesis est-elle si importante ?

L'Exponential Time Hypothesis, ou ETH, postule que décider du 3-SAT sur n variables nécessite un temps exponentiel dans le pire des cas [2]. OpenAI indique que l'ETH a été largement considérée comme vraie et a été utilisée dans des centaines d'articles pour dériver des résultats de dureté conditionnelle [1]. OpenAI affirme que ses modèles ont prouvé que l'Exponential Time Hypothesis est fausse, une conjecture utilisée dans des centaines d'articles.

La prépublication de 67 pages, créditée à OpenAI comme auteur, décrit un algorithme déterministe qui compte les affectations satisfaisantes de formules k-CNF en temps sous-exponentiel et espace polynomial [2]. OpenAI indique que transformer le résultat en algorithmes pratiques plus rapides nécessitera des recherches supplémentaires importantes [1].

Quelqu'un a-t-il vérifié les preuves ?

OpenAI a publié ses preuves en mathématiques et informatique sous forme de prépublications sur GitHub ; aucune n'a encore été évaluée par les pairs. OpenAI indique que les deux sont accompagnées de formalisations Lean, des preuves vérifiées par machine, également publiées dans son dépôt [1][2]. Sa propre chronologie indique que la réfutation de l'ETH a été trouvée le 16 octobre et formalisée le 17 octobre 2026 [1].

Un groupe dirigé par Russell Impagliazzo et Ramamohan Paturi de l'UC San Diego et Ryan Williams du MIT vérifiera et accompagnera le résultat sur l'ETH [1]. Impagliazzo et Paturi, avec Francis Zane, ont initialement proposé l'hypothèse [1]. Pour la physique, le lauréat du prix Nobel David Gross dirigera un groupe incluant Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov [1].

Comment OpenAI modifie-t-elle sa façon de publier les résultats ?

OpenAI indique qu'elle a demandé à des experts externes d'agir comme accompagnateurs, et ils ont conseillé trois stratégies de publication différentes : publication ouverte pour les mathématiques, un groupe externe plus des fichiers publics pour l'informatique, et report au groupe pour la physique [1]. OpenAI indique qu'elle ne cherche pas de crédit académique et que des groupes d'experts externes examineront les résultats.

La participation est volontaire et non rémunérée, et OpenAI indique qu'elle a accepté de financer une conférence sur les implications du résultat sur l'ETH [1]. The Verge note que le propre panel de conseillers en mathématiques d'OpenAI venait de recommander de ne pas donner à des personnes sélectionnées un premier accès aux sorties de l'IA [3]. OpenAI concède que choisir des accompagnateurs crée une asymétrie d'information [1].

La publication intervient moins d'un mois après qu'OpenAI ait publié des centaines de manuscrits rédigés par l'IA le 6 octobre, selon The Verge [3]. OpenAI indique que les nouvelles collaborations complètent sa contribution récemment annoncée de 5 millions de dollars à la Simons Foundation, qui finance des ateliers et programmes pour les chercheurs étudiant les résultats de l'IA [1].

Notre analyse

Opinion : Si la réfutation de l'ETH tient, c'est la plus grande revendication à ce jour issue des mathématiques pilotées par l'IA, et confier la vérification aux proposants originaux de l'hypothèse est le bon choix. Mais une preuve Lean ne certifie que ce qui a été formalisé, et des affirmations extraordinaires publiées par la société qui en tire profit méritent l'examen lent et contradictoire que constitue l'évaluation par les pairs.

Ce que nous n'avons pas pu vérifier

• Whether any of the three claimed proofs is correct; all are AI-written preprints or unreleased material, and no peer-reviewed publication or independent verification was available at publication.
• Whether the Lean formalizations capture the full original conjectures; OpenAI says the ETH and local smoothing proofs were verified in Lean, but we could not check the formal statements ourselves.
• The physics proof for Yang-Mills theory and quantum chromodynamics, which has not been released; we rely solely on OpenAI's description.
• Which internal model or system produced the proofs; OpenAI does not name it.
• Any on-record reaction from the named shepherds, such as Russell Impagliazzo, Ryan Williams or David Gross; we found no public statement from them beyond what OpenAI reports.