OpenAI a demandé à un groupe de scientifiques indépendants, dont le prix Nobel de physique David Gross, de vérifier trois preuves que ses modèles d'IA ont produites, selon elle, en mathématiques, en informatique et en physique. La société l'a annoncé dans un billet de blog publié le 26 octobre.
Selon OpenAI, ses modèles ont réfuté l'hypothèse du temps exponentiel (ETH), une conjecture de 1999 selon laquelle certains problèmes de calcul ne peuvent pas être résolus plus rapidement qu'une limite donnée. L'entreprise affirme que l'algorithme proposé va plus vite que ce que permettait l'hypothèse, mais qu'il exigerait en pratique des ressources de calcul trop importantes, si bien qu'il ne résout pas le problème P contre NP.
En mathématiques, les modèles ont étendu la conjecture de lissage local, proposée par Christopher Sogge en 1991 et démontrée jusque-là seulement en deux dimensions, à toutes les dimensions, selon OpenAI. L'entreprise a aussi présenté des preuves pour la conjecture de Kakeya et la conjecture de restriction de Fourier de Stein. En physique, les modèles ont produit une preuve d'existence de théories quantiques des champs en interaction dans un espace-temps à quatre dimensions, dont la théorie de Yang-Mills, qui décrit l'interaction entre particules élémentaires.
Russell Impagliazzo et Ramamohan Paturi, de l'université de Californie à San Diego et auteurs originaux de l'hypothèse ETH, ainsi que le professeur du MIT Ryan Williams, examinent le résultat en informatique. Un groupe dirigé par Gross, prix Nobel de physique 2004, avec Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov, examine la preuve en physique.
Les relecteurs ont précisé que leur participation « ne doit pas être considérée comme une approbation » des conclusions d'OpenAI. L'entreprise elle-même décrit les documents publiés comme des données de recherche brutes qui restent à comprendre, et a qualifié les scientifiques sollicités de guides pour ce travail. Les preuves ont été publiées sur GitHub sous forme écrite et au format Lean, qui permet une vérification informatique ; la version Lean de la preuve de lissage local est datée du 19 octobre, tandis que les premières preuves en physique datent du 9 et du 18 septembre.
OpenAI a aussi promis 5 millions de dollars à la Simons Foundation pour des ateliers et conférences sur le sujet, dont une consacrée aux implications du résultat sur l'ETH. La validité des preuves dépendra du travail des relecteurs externes.
