OpenAI affirme que ses modèles internes ont produit trois résultats majeurs en mathématiques, en informatique théorique et en physique. L’entreprise publie une partie des preuves et confie leur examen à des groupes de chercheurs extérieurs, tout en présentant ces documents comme des données de recherche encore à transformer en connaissances scientifiques établies.
Les annonces concernent le lissage local en analyse harmonique, l’hypothèse du temps exponentiel en théorie de la complexité et l’existence mathématique de certaines théories quantiques des champs. Leur portée serait considérable si les démonstrations résistent à l’examen indépendant.
Une preuve annoncée autour de la conjecture de Kakeya
Le premier résultat porte sur la conjecture de lissage local formulée par Christopher Sogge en 1991. OpenAI dit avoir obtenu une preuve valable dans toutes les dimensions. Selon l’entreprise, celle-ci entraînerait également la résolution de la conjecture de Kakeya et de la conjecture de restriction de Stein.
Le raisonnement aurait été produit le 18 octobre 2026 puis formalisé dans Lean le lendemain. OpenAI a rendu publics un texte en langage naturel et la formalisation afin que des spécialistes puissent les contrôler. Une preuve formelle réduit certains risques d’erreur logique, mais elle ne remplace pas l’analyse de la pertinence des hypothèses et de la place du résultat dans la littérature.
L’hypothèse du temps exponentiel remise en cause
Le deuxième résultat affirme que l’hypothèse du temps exponentiel, souvent abrégée ETH, est fausse. Cette hypothèse structure depuis des décennies de nombreux travaux sur la difficulté des problèmes de satisfaction booléenne et leurs conséquences dans d’autres domaines de l’informatique.
OpenAI précise que la réfutation en langage naturel date du 16 octobre et que sa formalisation Lean a été achevée le 17 octobre. Un groupe conduit par Russell Impagliazzo, Ramamohan Paturi et Ryan Williams doit examiner et expliquer le résultat. Les deux premiers font partie des auteurs à l’origine de l’ETH, ce qui donne un cadre crédible à la vérification sans préjuger de sa conclusion.
Une revendication encore plus ambitieuse en physique
Le troisième dossier concerne une preuve d’existence mathématiquement rigoureuse pour des théories quantiques des champs avec champs de jauge et fermions en quatre dimensions. OpenAI inclut dans cette revendication la chromodynamique quantique et une extension unifiée du modèle standard. Une partie du travail toucherait aussi au problème de Yang-Mills, l’un des problèmes du prix du millénaire.
Le physicien David Gross doit diriger un groupe comprenant Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov. Contrairement aux deux autres volets, les artefacts produits par l’IA ne sont pas encore tous diffusés. Le groupe souhaite d’abord les étudier et préparer sa propre présentation.
Notre analyse
La nouveauté principale n’est pas seulement la performance revendiquée. OpenAI teste trois modes de publication, de l’ouverture immédiate des preuves à un examen préalable par des experts. Cette prudence est indispensable face à des annonces susceptibles de modifier plusieurs champs scientifiques.
Il faut donc distinguer clairement résultat annoncé et résultat accepté. La publication d’OpenAI fournit des dates, des responsables externes et des artefacts vérifiables, mais la validation scientifique prendra du temps. L’impact réel dépendra des relectures, des tentatives de reproduction et de la capacité des communautés concernées à expliquer ou à réfuter les démonstrations.
