OpenAI annonce trois nouvelles preuves scientifiques et sollicite des experts externes

OpenAI a annoncé le lundi 26 octobre que ses modèles internes avaient produit trois nouveaux résultats. Le premier est une preuve de la conjecture de lissage local dans toutes les dimensions, ce qui résoudrait également les conjectures de Kakeya et de restriction de Stein. Le second est une réfutation de l'hypothèse du temps exponentiel, et le troisième est une preuve d'existence rigoureuse pour la chromodynamique quantique. Au lieu de revendiquer un crédit académique, l'entreprise a invité des experts externes à agir en tant que superviseurs pour organiser des groupes chargés de vérifier et d'expliquer ces travauxtheverge.com+1.

Trois résultats, trois plans de publication

L'avancée mathématique s'appuie sur la conjecture de lissage local de Christopher Sogge datant de 1991. Les mathématiciens l'ont prouvée en deux dimensions spatiales en 2019, et la conjecture de Kakeya a été prouvée en trois dimensions en 2025. OpenAI affirme que sa preuve repose sur une nouvelle équation aux dérivées partielles auxiliaire. Un expert ayant conseillé de publier les résultats bruts, OpenAI a déposé un rapport de modèle et une preuve Lean sur GitHub, comme lors de sa publication du 6 octobreopenai.com+1.

Le résultat en informatique décrit un algorithme déterministe qui compte les affectations satisfaisantes de formules CNF à largeur fixe en temps sous-exponentiel. Appliqué au problème 3-SAT, cela réfuterait une conjecture utilisée dans des centaines de preuves de difficulté. Russell Impagliazzo et Ramamohan Paturi de l'UC San Diego, qui ont initialement proposé l'hypothèse, dirigeront l'examen avec Ryan Williams du MIT. Ils ont averti que leur implication ne devait pas être considérée comme une certification de la revendication. OpenAI a également accepté leur demande de financer une conférence sur les implications de ce résultat pour le domainethenextweb.com+1.

Les documents relatifs à la physique ont été retenus. Un groupe dirigé par le prix Nobel David Gross, comprenant Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov, a choisi de rédiger lui-même le résultat. Les travaux incluent une preuve d'existence pour la théorie pure de Yang-Mills, qui fait partie des problèmes du prix du millénaire de Clayopenai.com.

Questions sur le modèle de supervision

OpenAI précise que les superviseurs ne signeront pas d'accords de confidentialité et ne seront pas rémunérés. L'entreprise ajoute qu'elle ne cherche pas à obtenir de crédit académique pour les découvertes de ses modèles. Elle a reconnu que le choix des premiers superviseurs crée une asymétrie d'information. Cet arrangement s'ajoute à la récente contribution de 5 millions de dollars d'OpenAI à la Fondation Simons, qui financera des ateliers sur les résultats produits par l'IAopenai.com.

Tout le monde n'est pas d'accord avec cette approche. Un jour avant l'annonce, le propre comité consultatif en mathématiques d'OpenAI a recommandé aux entreprises d'IA de ne pas adopter la pratique consistant à donner un accès prioritaire à des personnes sélectionnées. Le comité a cité l'inégalité d'accès, l'emprunt de réputation et une sélection biaisée. Gizmodo a noté que la vérification Lean avait déjà posé problème par le passé. Les lecteurs de la précédente affirmation d'OpenAI sur Navier-Stokes craignaient que la preuve Lean n'ait vérifié qu'une déclaration plus faible que celle publiée par l'entreprise. OpenAI décrit les nouveaux manuscrits comme des données de recherche brutes que la communauté scientifique doit encore transformer en compréhensiongizmodo.com+1.