OpenAI annonce trois découvertes en maths, informatique et physique
Les preuves en informatique et en physique sont encadrées par des experts externes ; celle du problème mathématique est publiée telle quelle, sur conseil des conseillers.
OpenAI a annoncé le 26 octobre 2026 trois découvertes générées par ses modèles, en mathématiques, en informatique et en physique, et a publié les résultats accompagnés d'experts externes chargés d'en assurer le suivi, selon theverge.com.
Pour les résultats en informatique et en physique, des spécialistes extérieurs décrits comme des « shepherds » ont guidé le travail. La rédaction et la preuve Lean du résultat d'informatique ont été publiées sur GitHub. Le document affirme que l'hypothèse du temps exponentiel (ETH) est fausse : il décrit un algorithme déterministe qui compte les affectations satisfaisantes de formules CNF de largeur fixe en temps sous-exponentiel et en espace polynomial. Un groupe comprenant Russell Impagliazzo, Ramamohan Paturi et Ryan Williams examinera et expliquera cette preuve.
En physique, le résultat est une preuve d'existence mathématiquement rigoureuse de certaines théories quantiques des champs avec champs de jauge et fermions en quatre dimensions, dont la chromodynamique quantique (QCD). David Gross dirigera un groupe réunissant Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov pour encadrer ce travail.
Pour le problème mathématique, OpenAI a publié la sortie du modèle directement, sur conseil de ses conseillers. Cette sortie démontre la conjecture de lissage local en toute dimension et résout les conjectures de Kakeya et de restriction de Stein dans toutes les dimensions. La preuve pour l'équation des ondes euclidienne s'appuie sur une équation aux dérivées partielles auxiliaire pour établir le lissage local de Sogge dans tout espace de dimension au moins 2.
OpenAI a par ailleurs publié une lettre ouverte interrogeant la communauté sur l'accès anticipé, le crédit et le soutien à apporter aux chercheurs.
Un contexte de publications antérieures
Moins d'un mois plus tôt, OpenAI avait diffusé en masse des centaines de manuscrits qu'elle présentait comme contenant des solutions à des questions mathématiques anciennes. Le 6 octobre 2025, la société avait déjà publié directement une sortie de modèle. L'ETH avait été proposée en 1999 par un groupe incluant Russell Impagliazzo et Ramamohan Paturi.
En bref
Qu'a annoncé OpenAI le 26 octobre 2026 ?
Trois découvertes générées par ses modèles, en mathématiques, en informatique et en physique, avec des experts externes pour encadrer les résultats d'informatique et de physique.
Où trouver la preuve en informatique ?
La rédaction et la preuve Lean ont été publiées sur GitHub.
Qui encadre la preuve en physique ?
Un groupe dirigé par David Gross, avec Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov.