OpenAI revendique trois percées scientifiques majeures, des mathématiques à la physique quantique

OpenAI affirme avoir résolu trois problèmes majeurs en mathématiques, informatique théorique et physique. Des chercheurs indépendants examinent les preuves.

Trois problèmes scientifiques parmi les plus difficiles de leurs disciplines auraient trouvé une réponse grâce à l'intelligence artificielle. OpenAI affirme que ses modèles ont produit une démonstration de la conjecture du lissage local, réfuté une hypothèse fondamentale de l'informatique théorique et établi l'existence mathématique de certaines théories quantiques des champs en quatre dimensions, dont la chromodynamique quantique. Deux de ces résultats disposent déjà de preuves formalisées dans Lean, un langage permettant à un ordinateur de vérifier des raisonnements mathématiques.

L'ampleur des annonces impose toutefois une distinction : les démonstrations proviennent des modèles internes d'OpenAI, et leur portée scientifique doit encore être examinée par des spécialistes indépendants. Le laboratoire présente lui-même les manuscrits comme des matériaux de recherche à analyser, plutôt que comme des résultats dont l'interprétation serait définitivement établie. Une conjecture mathématique vieille de 35 ans

Le premier résultat concerne l'analyse harmonique, une branche des mathématiques qui étudie notamment les ondes, leurs fréquences et leur propagation.

En 1991, le mathématicien Christopher Sogge formulait la conjecture du lissage local. Elle décrit un phénomène lié à la concentration des ondes : les situations dans lesquelles une onde se concentre de façon particulièrement intense ne devraient persister que brièvement. Lorsqu'on observe le phénomène sur une période plutôt qu'à un instant extrême, son comportement devient plus régulier.

Cette question possède des conséquences bien au-delà de l'étude des ondes. Sa résolution entraînerait notamment celle de la conjecture de Kakeya et de la conjecture de restriction de Stein, deux problèmes importants de l'analyse mathématique.

Des avancées majeures avaient déjà été obtenues. En 2019, Larry Guth, Hong Wang et Ruixiang Zhang avaient démontré le lissage local en deux dimensions spatiales. En 2025, Hong Wang et Joshua Zahl avaient résolu la conjecture de Kakeya en trois dimensions.

OpenAI affirme désormais disposer d'une démonstration du lissage local dans toutes les dimensions concernées, fondée sur une nouvelle équation aux dérivées partielles auxiliaire. Si l'argument est confirmé, les conséquences s'étendraient également aux conjectures de Kakeya et de restriction de Stein dans leur cadre correspondant.

Selon la publication officielle d'OpenAI, les modèles ont obtenu le résultat le 18 octobre 2026. Une formalisation dans Lean a été réalisée le lendemain. Le laboratoire a choisi de publier le raisonnement en langage naturel et sa version formalisée, laissant aux mathématiciens le soin de l'examiner et d'en développer une explication scientifique. L'hypothèse du temps exponentiel serait fausse

La seconde annonce touche à l'une des questions fondamentales de l'informatique théorique : combien de temps faut-il, au minimum, pour résoudre certains problèmes de calcul ?

L'Exponential Time Hypothesis, ou ETH, est une hypothèse selon laquelle la résolution de certaines instances du problème de satisfiabilité booléenne, notamment 3-SAT, nécessite un temps exponentiel dans le pire des cas. Formulée à la fin des années 1990 par Russell Impagliazzo, Ramamohan Paturi et Francis Zane, elle sert depuis de fondement à de nombreux résultats conditionnels sur la difficulté des problèmes informatiques.

L'ETH intervient dans des travaux consacrés aux graphes, à la géométrie algorithmique, aux bases de données et à la biologie computationnelle. Réfuter cette hypothèse remettrait en question certaines limites de complexité longtemps considérées comme plausibles.

OpenAI annonce que ses modèles ont obtenu une réfutation de l'ETH et que celle-ci a ensuite été formalisée dans Lean. Des informations complémentaires sur le manuscrit indiquent que le résultat repose sur un algorithme déterministe capable de compter exactement les solutions de certaines formules booléennes en temps sous-exponentiel.

Cela ne signifie pas que P = NP aurait été démontré, ni que les problèmes réputés difficiles deviendraient immédiatement faciles à résoudre en pratique. Une amélioration asymptotique du temps de calcul peut rester inaccessible pour des tailles de problèmes courantes, et les conséquences précises dépendent du théorème effectivement établi.

Le raisonnement a été produit le 16 octobre, puis formalisé le 17 octobre 2026. Son examen est confié à un groupe coordonné par Russell Impagliazzo, Ramamohan Paturi et Ryan Williams, respectivement chercheurs à l'université de Californie à San Diego et au MIT.

La participation d'Impagliazzo et de Paturi présente un intérêt particulier puisqu'ils figurent parmi les chercheurs à l'origine de l'hypothèse. Leur intervention n'équivaut cependant pas à une validation préalable : les scientifiques ont explicitement appelé à un examen indépendant et ouvert de la démonstration.

OpenAI s'est engagé à rendre publiques les données nécessaires à cet examen et à financer une conférence consacrée aux implications du résultat. La chromodynamique quantique au cœur d'une troisième démonstration

Le troisième résultat concerne la théorie quantique des champs, le cadre mathématique qui permet notamment de décrire les interactions entre particules élémentaires.

La chromodynamique quantique, ou QCD, décrit l'interaction forte qui lie les quarks au sein des protons et des neutrons, par l'intermédiaire des gluons. Bien que cette théorie joue un rôle central dans la physique contemporaine et bénéficie de nombreuses validations expérimentales, établir rigoureusement son existence mathématique en quatre dimensions reste un problème particulièrement exigeant.

OpenAI affirme que ses modèles ont élaboré une démonstration d'existence pour certaines théories quantiques des champs contenant des champs de jauge et des fermions, dont la QCD, ainsi qu'une extension unifiée du Modèle standard.

Les travaux s'appuieraient sur l'approche développée par le physicien Tadeusz Balaban dans le domaine