OpenAI publie trois percées scientifiques guidées par des experts externes

OpenAI a annoncé ce week‑end trois avancées majeures dans les domaines des mathématiques, de l’informatique théorique et de la physique quantique. Ce qui distingue cette publication, c’est la présence d’équipes d’universitaires qualifiés, qualifiées de « shepherds », chargées de vérifier et d’interpréter les résultats avant leur diffusion. Le groupe a mis à disposition les fichiers sources sur GitHub, invitant la communauté à les examiner et à en débattre.

Mathématiques : lissage local de l’équation d’ondes euclidienne

Le premier résultat porte sur le problème de lissage local pour l’équation d’ondes euclidienne. En introduisant une équation aux dérivées partielles auxiliaire, les chercheurs ont démontré le lissage local de Sogge dans toute dimension spatiale supérieure ou égale à deux. La preuve s’étend également aux conjectures de Kakeya (maximal et dimension) ainsi qu’aux estimations de restriction sphérique de Stein, couvrant l’ensemble de la plage conjecturée. OpenAI a publié le texte généré par son modèle, suivant la même démarche que pour les manuscrits publiés le 6 octobre.

Informatique théorique : la remise en cause de l’Exponential Time Hypothesis

Le deuxième papier s’attaque à l’Exponential Time Hypothesis (ETH), une hypothèse largement acceptée qui stipule qu’aucun algorithme ne peut résoudre 3‑SAT en temps sous‑exponentiel. Le modèle d’OpenAI propose un algorithme déterministe capable de compter exactement les affectations satisfaisantes de formules CNF à largeur fixe, en temps sous‑exponentiel et avec un espace polynomial. Dans le cas particulier de 3‑SAT, ce résultat contredit directement l’ETH. Un groupe de travail indépendant, mené par Russell Impagliazzo, Ramamohan Paturi et Ryan Williams, a été sollicité pour analyser la démonstration et publier une explication détaillée.

Physique quantique : existence rigoureuse de théories de champs interactives

Le troisième avancement concerne la physique des champs quantiques. OpenAI affirme avoir fourni une preuve d’existence mathématique rigoureuse pour certaines théories de champs interactives contenant des champs de jauge et des fermions en quatre dimensions, incluant la Chromodynamique Quantique (QCD) et une version unifiée du Modèle Standard. La recherche sera supervisée par le prix Nobel David Gross, épaulé par Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov. Les détails complets n’ont pas encore été rendus publics, mais le cadre théorique est déjà disponible sur le dépôt GitHub.

Vers de nouvelles pratiques de diffusion

Parallèlement à ces découvertes, OpenAI a publié une lettre ouverte invitant la communauté à réfléchir à trois questions fondamentales : les attentes concernant l’accès précoce aux résultats générés par IAIntelligence artificielleEnsemble de techniques permettant à des machines d'accomplir des tâches nécessitant habituellement certaines capacités humaines, comme la reconnaissance, la prédiction ou la prise de décision., la manière de reconnaître les contributions de vérification et d’explication, et le soutien à la formation des chercheurs face à des méthodes qui évoluent rapidement. Le même texte souligne les réserves du panel AGMAI, qui déconseille de réserver les sorties à un petit groupe d’experts, invoquant le risque d’inégalités d’accès, de réputation empruntée et de biais de sélection. Le panel recommande à l’avenir de déposer les résultats dans des dépôts scientifiques ouverts, accompagnés de preuves formalisées en Lean et d’informations sur le financement des travaux de validation.

Ces trois annonces illustrent la capacité croissante des systèmes d’IA à contribuer à la recherche fondamentale, tout en mettant en lumière les défis d’intégrité et de gouvernance qui accompagnent ce nouveau mode de production scientifique. La communauté académique dispose désormais d’un jeu de donnéesDatasetEnsemble de données organisé pour entraîner, valider, tester ou évaluer un modèle d'intelligence artificielle. inédit à explorer, et les premiers retours devraient rapidement préciser si les preuves proposées résistent à la rigueur habituelle des revues à comité de lecture.