Une annonce scientifique sur trois fronts
OpenAI a annoncé trois découvertes revendiquées dans des domaines très différents: l’analyse harmonique, la complexité algorithmique et la théorie quantique des champs . Le titre de travail correspond bien au sujet: l’entreprise affirme que ses modèles ont produit des preuves majeures en mathématiques, en informatique théorique et en physique quantique, avec des résultats touchant la conjecture de lissage local, l’hypothèse du temps exponentiel et l’existence de la chromodynamique quantique .
L’ampleur de l’annonce tient au fait que ces trois domaines relèvent normalement de communautés scientifiques séparées. L’analyse harmonique étudie les ondes, les oscillations et la concentration; la complexité algorithmique examine ce que les ordinateurs peuvent calculer efficacement; la théorie quantique des champs fournit le langage mathématique de la physique des particules . OpenAI indique avoir sollicité des spécialistes extérieurs pour encadrer l’examen des résultats, avec trois stratégies distinctes: publication immédiate pour le résultat mathématique, publication immédiate et groupe structuré de vérification pour l’informatique, et publication différée pour la physique afin de laisser un groupe d’experts rédiger sa propre présentation .
Cette nuance est essentielle. OpenAI ne dit pas que le processus classique d’évaluation par les pairs est terminé, ni que les conséquences scientifiques sont déjà acceptées par consensus. L’entreprise décrit elle-même les manuscrits comme des données de recherche brutes qui doivent être transformées en compréhension scientifique par les communautés universitaires . Al Jazeera a rapporté la même prudence: des chercheurs extérieurs sont appelés à vérifier, examiner et expliquer les résultats, et un spécialiste de la complexité a indiqué que son groupe cherchait encore à déterminer si la preuve concernant l’hypothèse ETH résiste à l’analyse .
Le volet mathématique: lissage local, Kakeya et restriction
Le résultat mathématique concerne la conjecture de lissage local, proposée par Christopher Sogge en 1991, qui porte sur le comportement de phénomènes ondulatoires lorsqu’ils se concentrent au cours du temps . En termes simples, la conjecture affirme que les concentrations les plus extrêmes d’une onde ne devraient pas durer, et qu’un comportement moyenné dans le temps doit être plus régulier que ce que suggère le pire instant possible . OpenAI dit que son modèle a produit une preuve dans toutes les dimensions spatiales, et que cette preuve résout aussi la conjecture de Kakeya et la conjecture de restriction de Stein dans toutes les dimensions .
L’annonce s’inscrit dans une chronologie précise. OpenAI rappelle que Larry Guth, Hong Wang et Ruixiang Zhang ont prouvé la conjecture de lissage local en deux dimensions spatiales en 2019, tandis que Wang et Zahl ont prouvé la conjecture de Kakeya en dimension trois en 2025 . Interesting Engineering a également décrit le résultat annoncé comme un saut potentiel entre des avancées partielles importantes et une résolution en toutes dimensions, en précisant qu’OpenAI aurait obtenu la sortie du modèle le 18 octobre 2026 et l’aurait formalisée dans Lean le lendemain .
La stratégie de diffusion est ici la plus ouverte des trois. OpenAI affirme avoir publié à la fois la rédaction en langage naturel produite par l’IA et une preuve Lean dans son dépôt public . Lean est important parce qu’il permet de vérifier mécaniquement des étapes formelles d’une preuve, mais cette vérification ne remplace pas le travail de compréhension par la communauté mathématique. Il faut encore déterminer pourquoi la preuve fonctionne, comment elle se rattache aux méthodes existantes, et si toutes les conséquences informelles annoncées sont formulées avec la bonne portée. Quartz a résumé cette distinction: le résultat de lissage local a été formalisé et publié, mais son interprétation plus large dépend encore du travail humain d’examen .
Les premières réactions montrent déjà l’importance potentielle du résultat. Alex Iosevich, mathématicien à l’Université de Rochester et spécialiste d’analyse harmonique, a déclaré à Al Jazeera qu’OpenAI semblait avoir “cassé” la conjecture et a qualifié le développement d’historique . Cette réaction exprime à la fois l’enthousiasme et la rupture possible: si la preuve tient, elle ne s’ajoutera pas seulement à une liste de théorèmes, mais modifiera un ensemble de problèmes qui structurent l’analyse depuis des décennies.
Le volet informatique: une réfutation revendiquée de l’hypothèse ETH
La deuxième affirmation pourrait être encore plus déstabilisante pour l’informatique théorique. OpenAI dit que son système a prouvé que l’hypothèse du temps exponentiel, ou ETH, est fausse, et que le résultat a ensuite été vérifié dans Lean . ETH est une conjecture très utilisée sur la difficulté des problèmes de satisfaisabilité booléenne, étroitement liée aux questions autour de P contre NP et aux hypothèses de borne inférieure dans la recherche algorithmique .
Selon OpenAI, ETH a servi dans des centaines d’articles pour établir des résultats conditionnels de difficulté dans la théorie des graphes, la biologie computationnelle, les bases de données, la géométrie algorithmique et d’autres domaines . Si la réfutation est acceptée, ces travaux ne deviendront pas simplement inutiles; leur structure conditionnelle devra être réinterprétée, car l’hypothèse sur laquelle ils reposent serait fausse. The Economic Times a rapporté la position d’OpenAI selon laquelle le résultat revendiqué “rouvre des questions” sur la vitesse possible de certaines tâches, tout en soulignant que des améliorations pratiques exigeraient encore beaucoup de recherche .
OpenAI affirme que la réfutation en langage naturel a été trouvée le 16 octobre 2026 et formalisée dans Lean le 17 octobre 2026 . L’entreprise a nommé Russell Impagliazzo et Ramamohan Paturi, de l’Université de Californie à San Diego, ainsi que Ryan Williams, du MIT, comme responsables du groupe chargé d’aider à vérifier et à encadrer le résultat en informatique . Cette composition est notable: Impagliazzo et Paturi font partie des premiers auteurs de l’hypothèse ETH, tandis que Williams a beaucoup travaillé sur les questions d’algorithmes, de bornes inférieures et de variantes liées à ETH .
Williams a déclaré à Al Jazeera qu’une réfutation confirmée serait un développement majeur, car une grande partie de l’informatique théorique repose depuis la fin des années 1990 sur l’idée que ETH est vraie . Il a aussi insisté sur le fait que son groupe vérifie encore la preuve et cherche à déterminer si elle résiste . Pour un lecteur extérieur au domaine, la distinction est cruciale: une formalisation vérifiée dans Lean constitue un élément très fort concernant un énoncé formel, mais la communauté doit encore examiner les définitions, la portée exacte du théorème formalisé, la traduction entre l’annonce informelle et l’objet vérifié, ainsi que les conséquences pour la littérature existante.
OpenAI dit avoir accepté la demande du groupe de rendre publiques les données brutes et de financer une conférence sur les implications du résultat . En pratique, la prochaine étape ressemblera probablement moins à une déclaration unique qu’à un audit distribué: séminaires, notes techniques, inspections de preuves formelles, reproductions indépendantes et tentatives concurrentes d’expliquer la méthode algorithmique sous-jacente.
Le volet physique: QCD, Yang–Mills et publication différée
La troisième affirmation concerne la théorie quantique des champs. OpenAI dit que ses modèles ont produit une preuve d’existence rigoureuse pour certaines théories quantiques des champs en quatre dimensions, avec champs de jauge et fermions, dont la chromodynamique quantique, ou QCD . La QCD décrit l’interaction forte entre quarks et gluons, et OpenAI affirme que le travail comprend aussi une preuve de l’existence de la théorie de Yang–Mills pure, liée à l’un des problèmes du prix du millénaire de l’Institut Clay .
Ce résultat est traité avec plus de prudence que les deux autres. OpenAI indique que David Gross dirigera un groupe comprenant Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov pour encadrer le travail . L’entreprise précise aussi que ce groupe a choisi de ne pas publier immédiatement les artefacts produits par l’IA et de préparer d’abord sa propre présentation . Quartz a rapporté la même stratégie: les matériaux de physique sont retenus pour le moment, le temps que le groupe rédige son analyse .
La chronologie est inhabituelle. OpenAI affirme que ses modèles ont produit une preuve en langage naturel de l’existence de Yang–Mills le 9 septembre 2026, puis une preuve pour la QCD le 18 septembre 2026; l’entreprise dit avoir achevé la formalisation de l’existence de Yang–Mills le 16 octobre 2026 . La revendication concernant la QCD n’est donc pas encore accessible au public de la même manière que les résultats en mathématiques et en informatique. Elle pourrait être considérable, mais la communauté scientifique attend pour l’instant l’explication du groupe d’experts avant de pouvoir examiner les détails.
Cette prudence est justifiée par l’enjeu. Une construction rigoureuse en quatre dimensions liée à Yang–Mills et à la QCD se situerait à la frontière des mathématiques et de la physique théorique, là où l’intuition physique, les méthodes de renormalisation et les questions d’existence formelle sont difficiles à concilier depuis longtemps. OpenAI dit que son travail s’appuie sur l’approche de Balaban en théorie constructive des champs . Si la preuve est confirmée, elle pourrait transformer la façon dont physiciens et mathématiciens discutent des fondements de la théorie quantique des champs; si elle ne l’est pas, elle deviendra tout de même un cas d’école sur la manière d’auditer des arguments générés par l’IA.
Pourquoi la vérification devient le cœur de l’histoire
La nouvelle centrale n’est pas seulement qu’OpenAI a formulé trois revendications. Elle est que l’entreprise met en scène un nouveau modèle de publication scientifique: des systèmes d’IA produisent des percées possibles, des méthodes formelles vérifient certains énoncés, puis les communautés humaines doivent transformer ces artefacts en savoir partagé . OpenAI affirme que les collaborations respecteront des principes de transparence, d’absence de crédit académique revendiqué par l’entreprise, de reconnaissance pour les chercheurs qui expliqueront les travaux, et d’indépendance des participants .
L’état actuel est donc nuancé: les matériaux mathématiques et informatiques sont publics et formalisés; les matériaux de physique ne sont pas encore entièrement publics; et la validation extérieure est toujours en cours . Cela ne rend pas l’annonce insignifiante. Cela en fait un événement scientifique vivant, pas un chapitre déjà clos.
Si une seule des trois revendications résiste à l’examen, ce serait déjà un résultat majeur. Si les trois sont confirmées, l’annonce marquerait un tournant dans la relation entre les systèmes d’IA et la science de pointe. Pour l’instant, le mot juste reste “revendique”, et non “résout définitivement”. Mais ces revendications sont précises, récentes, partiellement formalisées et déjà entre les mains d’experts capables de les tester.