Découverte mathématique
OpenAI a généré une preuve du local smoothing conjecture pour l’équation d’onde euclidienne, valable dans toute dimension spatiale ≥ 2. La démonstration s’appuie sur une équation aux dérivées partielles auxiliaire et reproduit le résultat de Sogge sur le lissage local, tout en établissant simultanément les conjectures de Kakeya (maximal et dimension) et les estimations de restriction sphérique de Stein sur l’ensemble du domaine conjecturé.
En résolvant le problème de lissage, le modèle a donc indirectement fourni une preuve du Kakeya conjecture dans toutes les dimensions, ce qui dépasse le résultat de Hong Wang, lauréat d’une Médaille Fields, limité à la dimension trois. Aucun identifiant de publication n’est fourni, la sortie se limite à l’ensemble de données produit par le modèle.
Preuve en informatique théorique
Le deuxième résultat affirme que l’Exponential Time Hypothesis (ETH) est fausse. OpenAI propose un algorithme déterministe qui compte exactement les assignations satisfaisantes de formules CNF à largeur fixe en temps sous‑exponentiel et en espace polynomial, ce qui contredit la version 3‑SAT de l’ETH. Le texte complet, accompagné d’une preuve formalisée en Lean, a été publié sur GitHub.
La validation est confiée à un groupe d’experts – Russell Impagliazzo, Ramamohan Paturi (co‑auteurs de l’ETH en 1999) et le professeur Ryan Williams – qui ont accepté de « shepherd » le processus d’examen. Aucun benchmark de performance n’est indiqué, mais la description précise du temps sous‑exponentiel et de la contrainte d’espace polynomial constitue le noyau technique de la revendication.
Résultat en physique quantique
OpenAI annonce une preuve d’existence rigoureuse pour certaines théories quantiques de champs interactives contenant des champs de jauge et des fermions en quatre dimensions. La preuve englobe le Quantum Chromodynamics (QCD) et propose une extension unifiée du Modèle Standard. Le groupe de supervision comprend David Gross, Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov.
Le texte complet n’est pas encore disponible, mais la description indique que la preuve repose sur des constructions mathématiques capables de garantir la non‑trivialité des interactions gauge‑fermion dans un cadre 4D, un problème ouvert depuis plusieurs décennies. L’absence de code ou de données numériques empêche une évaluation immédiate de la robustesse de la démonstration.
Nouvelle méthode de collaboration avec les chercheurs
OpenAI a introduit le concept de « shepherds », des scientifiques externes qui reçoivent en priorité les sorties du modèle et guident leur validation. Cette pratique a suscité des critiques de l’AGMAI, qui recommande de publier les résultats directement sur des dépôts académiques, d’accompagner chaque preuve d’une version Lean formalisée, de préciser le processus de sélection des problèmes et de financer les équipes chargées de l’interprétation.
En réponse, OpenAI a publié une lettre ouverte demandant un débat communautaire sur l’accès anticipé, la reconnaissance des contributions de vérification et le soutien aux chercheurs face à des méthodes de recherche transformées. La démarche montre une volonté de structurer un cadre normatif, mais les risques d’accès inégal et de réputation empruntée restent non résolus.
