OpenAI revendique trois avancées scientifiques, tandis que des chercheurs indépendants entament leur examen

Trois affirmations mettent des décennies de recherche à l’épreuve

OpenAI a annoncé le 26 octobre 2026 que ses modèles d’IA avaient produit des démonstrations répondant à trois problèmes de longue date en mathématiques, en informatique et en physique, dont une remise en cause d’une hypothèse informatique utilisée dans des centaines d’articles de recherche. L’entreprise a rendu publics ses travaux en mathématiques et en informatique, tandis qu’un groupe dirigé par David Gross, prix Nobel de physique, examinera les travaux en physique avant de publier sa propre explication.

L’affirmation concernant l’informatique porte sur l’hypothèse du temps exponentiel (ETH), proposée en 1999. OpenAI affirme que son modèle a trouvé un algorithme qui contredit cette hypothèse en résolvant une famille particulière de problèmes de logique plus rapidement que ne le permet l’hypothèse. Deux chercheurs ayant contribué à proposer l’ETH, Russell Impagliazzo et Ramamohan Paturi, dirigeront un examen indépendant aux côtés de Ryan Williams, professeur au MIT.

En mathématiques, l’entreprise affirme avoir démontré la conjecture de régularité locale de Christopher Sogge, proposée en 1991, pour l’équation des ondes euclidienne dans toute dimension spatiale supérieure ou égale à deux. OpenAI affirme que le raisonnement produit également des résultats sur les conjectures de Kakeya et la conjecture de restriction de Stein, établissant un lien entre le mouvement des ondes et des questions difficiles portant sur la géométrie et les fréquences.

L’affirmation concernant la physique porte sur l’existence mathématique de certaines théories quantiques des champs en interaction en quatre dimensions, dont la chromodynamique quantique (QCD), qui décrit les interactions entre quarks et gluons. OpenAI affirme également que les travaux couvrent la théorie de Yang-Mills pure et une complétion unifiée particulière du modèle standard de la physique des particules.

Un examen indépendant constitue la prochaine étape pour les trois projets. Les chercheurs examineront les arguments, leurs hypothèses et les énoncés mathématiques précis auxquels ils répondent. L’annonce ne précise aucune échéance pour achever ces examens ni pour publier les documents relatifs à la physique, qui restent pour l’instant confidentiels.

Ce que la démonstration sur les ondes prétend expliquer

La conjecture de régularité locale de Sogge porte sur la mesure dans laquelle les ondes peuvent se concentrer au cours de leur propagation. Une onde peut se focaliser fortement à un instant donné. La conjecture décrit les limites mathématiques de cette concentration lorsque son comportement est mesuré sur une durée donnée.

Imaginez que vous observiez une onde à travers une série de photographies plutôt que de la juger à partir de son image la plus spectaculaire. Une image isolée peut montrer un pic intense, tandis que la série révèle combien de temps ce pic persiste. Les mathématiciens expriment cette relation au moyen d’estimations pour les solutions de l’équation des ondes, l’équation qui décrit la propagation des ondes.

OpenAI affirme que son raisonnement introduit une nouvelle équation aux dérivées partielles auxiliaire. Ce type d’équation décrit l’évolution de quantités dans l’espace et le temps ; une équation auxiliaire constitue un outil supplémentaire pour étudier le problème initial. L’entreprise affirme que cette approche établit les estimations voulues dans toute dimension spatiale supérieure ou égale à deux.

La portée revendiquée prolonge une avancée majeure antérieure. Larry Guth, Hong Wang et Ruixiang Zhang ont démontré la régularité locale en deux dimensions spatiales en 2019. L’annonce d’OpenAI porte sur un raisonnement général couvrant également les dimensions supérieures, et non sur un nouveau résultat limité à une seule dimension.

Le rôle de la géométrie et des fréquences dans cette affirmation

Le problème de Kakeya consiste à déterminer quelle peut être la taille minimale d’un ensemble contenant un segment de longueur unité dans chaque direction. Sa difficulté tient à la différence entre le volume ordinaire et la dimension mathématique. Un ensemble peut occuper un volume très faible tout en conservant une structure complexe que les mathématiciens mesurent à l’aide de sa dimension.

Hong Wang et Joshua Zahl ont établi un résultat majeur sur la conjecture de Kakeya en trois dimensions en 2025. OpenAI affirme que son nouvel argument sur les ondes permet d’établir à la fois la conjecture maximale de Kakeya et la conjecture de dimension de Kakeya, dans toutes les dimensions. Si la démonstration résiste à l’examen, elle étendrait considérablement la portée des résultats par rapport à cette avancée antérieure.

La conjecture de restriction de Stein appartient au même ensemble de problèmes. Elle porte sur le comportement des informations fréquentielles lorsqu’elles sont restreintes à des surfaces courbes. Dans sa description détaillée, OpenAI affirme que les estimations de restriction sphérique sont vérifiées sur tout l’intérieur de la plage conjecturée. Cette formulation précise la plage d’estimations que les chercheurs devront examiner pour évaluer l’affirmation plus générale concernant la conjecture de Stein.

Pourquoi le résultat en informatique est important

L’hypothèse du temps exponentiel porte sur la satisfiabilité booléenne, un problème fondé sur des variables qui peuvent être vraies ou fausses. Une formule fixe des règles de combinaison de ces variables ; il s’agit de déterminer s’il existe une attribution de valeurs qui satisfait toutes les règles.

En 3-SAT, chaque clause contient au plus trois termes. Une clause peut exiger qu’au moins une de trois propositions soit vraie, tandis que la formule complète exige que toutes les clauses soient satisfaites. À mesure que le nombre de variables augmente, le nombre d’attributions possibles double à chaque variable supplémentaire : 10 variables permettent 1 024 attributions, tandis que 20 en permettent 1 048 576.

L’ETH affirme que, dans le pire des cas, résoudre un problème 3-SAT exige un temps qui croît de manière exponentielle avec le nombre de variables. Impagliazzo, Paturi et Francis Zane ont contribué à formuler cette hypothèse en 1999. Depuis, des chercheurs s’en sont servis comme hypothèse pour expliquer pourquoi de nombreux problèmes en théorie des graphes, en biologie computationnelle, dans les bases de données et en géométrie algorithmique résistent à des résolutions plus rapides.

L’affirmation d’OpenAI est plus précise qu’une promesse générale de calcul plus rapide. L’entreprise affirme que son modèle a produit un algorithme déterministe qui compte exactement les attributions satisfaisantes pour des formules en forme normale conjonctive dont la largeur des clauses est fixe. La forme normale conjonctive désigne un assemblage de clauses qui doivent toutes être satisfaites ; une largeur fixe impose une limite constante au nombre de termes de chaque clause.

L’algorithme revendiqué utilise un temps sous-exponentiel et un espace polynomial. Une croissance sous-exponentielle est plus lente que la croissance exponentielle requise pour la résolution de 3-SAT selon l’ETH. Un espace polynomial signifie que la mémoire nécessaire est bornée par une puissance fixe de la taille de l’entrée. Le décompte des attributions satisfaisantes répond également à la question plus simple de leur existence : un décompte supérieur à zéro signifie que la formule est satisfiable.

Ce que les chercheurs doivent éclaircir au sujet de l’algorithme

Des centaines d’articles utilisent l’ETH pour établir des limites conditionnelles sur les algorithmes. Leurs conclusions prennent généralement la forme suivante : si l’ETH est valide, un problème donné ne peut pas être résolu en deçà d’une durée déterminée. Une réfutation acceptée obligerait les chercheurs à réexaminer les hypothèses sur lesquelles reposent ces limites.

Les applications informatiques pratiques posent une autre question. Les chercheurs devraient comprendre les constantes de l’algorithme, ses exigences de mise en œuvre et son comportement sur des entrées de taille utile. Même un meilleur taux de croissance mathématique peut correspondre à un temps de calcul considérable, en particulier pour les tailles de problèmes rencontrées dans les applications réelles.

La question P contre NP est différente : tout problème dont une réponse proposée peut être vérifiée efficacement peut-il aussi être résolu efficacement ? Dans ce contexte, « efficacement » signifie généralement en temps polynomial. Un algorithme sous-exponentiel appartient à une catégorie plus large ; l’examen portera donc sur la vitesse exacte revendiquée et sur ses conséquences pour l’ETH.

Impagliazzo et Paturi, tous deux à l’Université de Californie à San Diego, ainsi que Williams organiseront l’examen indépendant. Dans leur lettre ouverte à la communauté scientifique, les trois informaticiens ont souligné la prudence nécessaire :

Notre participation ne doit pas être interprétée comme une certification de cette affirmation. Un résultat d’une telle importance exige un examen attentif et indépendant.

La physique s’attaque aux fondements des théories des particules

La théorie quantique des champs décrit les particules et leurs interactions au moyen de champs répartis dans l’espace et le temps. L’affirmation d’OpenAI en physique porte sur des théories en interaction comprenant des champs de jauge et des fermions en quatre dimensions, généralement comprises comme trois dimensions d’espace et une de temps.

La QCD décrit l’interaction forte entre quarks et gluons. Les quarks sont les constituants des protons et des neutrons, tandis que les gluons véhiculent l’interaction forte. Les physiciens utilisent déjà la QCD pour expliquer les comportements observés. La tâche mathématique consiste ici à construire rigoureusement la théorie et à établir que les objets qui la définissent existent sous des conditions précises.

OpenAI affirme que les travaux s’appuient sur une approche élaborée par Tadeusz Balaban dans le domaine de la théorie quantique constructive des champs. Ce domaine vise à construire des théories quantiques de manière mathématiquement rigoureuse, afin de fournir un socle aux quantités calculées par les physiciens.

La théorie de Yang-Mills pure est également couverte par cette affirmation. Le problème d’existence de Yang-Mills et de l’écart de masse de l’Institut de mathématiques Clay exige à la fois une construction rigoureuse et un écart de masse positif, c’est-à-dire une énergie minimale positive séparant le vide de l’excitation la plus légère. Le résultat annoncé par OpenAI porte sur l’existence ; l’exigence d’un écart de masse reste une autre partie du problème doté d’un prix.

Gross, qui a reçu le prix Nobel de physique en 2004, dirigera le groupe chargé de la physique. Celui-ci comprend également Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov. À la demande du groupe, les documents de l’IA ne seront pas publiés tant que les chercheurs prépareront leur propre présentation des travaux.

De la production du modèle à l’annonce

OpenAI situe les découvertes revendiquées en septembre et octobre 2026. La chronologie distingue la production des arguments écrits de leur formalisation ultérieure dans Lean, un système qui vérifie les démonstrations exprimées dans un langage mathématique précis.

• 9 septembre : le modèle a produit la démonstration d’existence revendiquée pour la théorie de Yang-Mills pure.
• 18 septembre : le modèle a produit la démonstration revendiquée pour la QCD.
• 6 octobre : OpenAI a publié 722 manuscrits de mathématiques dans le cadre d’une précédente publication de recherche.
• 16 octobre : le modèle a produit la réfutation de l’ETH, et la formalisation Lean de la démonstration d’existence de Yang-Mills a été achevée.
• 17 octobre : la formalisation Lean de l’argument relatif à l’ETH a été achevée.
• 18 octobre : le modèle a produit l’argument sur la régularité locale.
• 19 octobre : la formalisation Lean de l’argument mathématique a été achevée.
• 26 octobre : OpenAI a annoncé les trois projets et les modalités de leur examen.

Les textes et les documents de preuve formelle en mathématiques et en informatique ont été rendus publics sur GitHub. Le groupe chargé de la physique a choisi un autre calendrier : son explication paraîtra avant la publication des documents produits par l’IA.

La place de la vérification formelle dans l’examen scientifique

Lean permet d’écrire une démonstration sous la forme d’une suite d’énoncés précis, que le logiciel vérifie au regard des définitions et des règles logiques. Il devient ainsi possible d’examiner un raisonnement complexe avec un niveau de détail difficile à maintenir dans un texte courant.

Les examinateurs humains vérifient également si les définitions formelles correspondent bien à la question de recherche initiale, quelles hypothèses la démonstration utilise et comment son résultat s’articule avec les travaux antérieurs. Pour l’affirmation en informatique, cela implique de comprendre l’algorithme et son temps d’exécution. Pour l’affirmation sur les ondes, il faut notamment examiner les dimensions et les plages couvertes par les estimations.

OpenAI décrit les résultats du modèle comme des données de recherche brutes qu’il reste à transformer en connaissances scientifiques. Les trois modalités de publication répartissent ce travail différemment : examen ouvert pour les mathématiques, groupe organisé et accès public pour l’informatique, et présentation initiale par un groupe choisi pour la physique.

Williams a indiqué que les chercheurs chargés d’examiner les travaux en informatique n’avaient signé aucun accord de confidentialité et ne seraient pas rémunérés. OpenAI a accepté leur demande de publier les données brutes relatives à l’ETH et de financer une conférence où des chercheurs pourront examiner l’affirmation. Les participants extérieurs sont libres de parvenir à leurs propres conclusions et de les publier indépendamment de l’entreprise.

L’accès, le financement et la reconnaissance s’invitent dans le débat

L’annonce d’OpenAI fait suite aux critiques suscitées par la publication précédente de centaines de manuscrits de mathématiques et par le travail nécessaire à leur évaluation. Les nouvelles modalités font intervenir des universitaires nommément désignés, tout en ouvrant un débat sur l’accès prioritaire aux résultats.

Le comité consultatif d’OpenAI pour les mathématiques AGMAI avait recommandé de ne pas accorder à certains chercheurs un accès anticipé aux résultats de l’IA. Il s’inquiétait notamment des inégalités d’accès, des biais de sélection et du risque que la réputation de chercheurs de premier plan confère de la crédibilité aux travaux avant la fin de leur examen.

Le comité a recommandé de publier les résultats dans des dépôts scientifiques, notamment les formalismes Lean et des informations sur la manière dont les problèmes ont été choisis. Il a également demandé que les chercheurs qui vérifient et expliquent les résultats bénéficient d’un soutien. Le contraste avec les documents de physique retenus rend la question de l’accès particulièrement concrète dans cette annonce.

OpenAI affirme ne pas chercher à obtenir de reconnaissance universitaire pour ces découvertes et souhaiter que les chercheurs soient reconnus pour les explications qu’ils produisent. La lettre des examinateurs en informatique demande comment la reconnaissance peut tenir compte de la découverte, mais aussi de la vérification, de la correction, de la simplification, de l’explication et de l’approfondissement d’un résultat. Elle s’interroge également sur le soutien à apporter aux étudiants et aux chercheurs à mesure que les méthodes de recherche évoluent.

Une contribution de 5 millions de dollars à la Fondation Simons, annoncée précédemment, doit financer des ateliers, des conférences et des programmes de recherche consacrés aux résultats de l’IA. Le financement de ces activités aiderait à répartir le travail d’examen au-delà des petits groupes nommés dans l’annonce.

Points clés

• OpenAI a annoncé trois avancées revendiquées le 26 octobre 2026. Un examen indépendant reste nécessaire.
• L’affirmation en mathématiques porte sur la régularité locale dans toute dimension spatiale supérieure ou égale à deux, ainsi que sur de nouveaux résultats revendiqués concernant Kakeya et la restriction.
• L’affirmation en informatique présente un algorithme qui réfuterait l’hypothèse du temps exponentiel si elle était vérifiée.
• Russell Impagliazzo, Ramamohan Paturi et Ryan Williams dirigent l’examen indépendant de l’ETH.
• David Gross dirige l’examen en physique, qui porte sur des démonstrations d’existence revendiquées, notamment pour la QCD et la théorie de Yang-Mills pure.
• Les documents de mathématiques et d’informatique sont publics. Ceux de physique restent confidentiels pendant que les chercheurs préparent une explication.
• Aucune échéance n’a été annoncée pour achever les examens ou publier les documents de physique.