OpenAI affirme que ses modèles internes ont produit trois résultats nouveaux en recherche fondamentale, et ce sont parmi les affirmations les plus audacieuses jamais faites par un laboratoire. En mathématiques, il annonce une démonstration de la conjecture de lissage local de Sogge, de 1991, en toute dimension, ce qui réglerait aussi les conjectures de Kakeya et de restriction de Stein. En informatique, il dit que son système a montré que l'hypothèse du temps exponentiel est fausse, une hypothèse largement admise et utilisée dans des centaines de preuves de difficulté. En physique, il revendique une preuve rigoureuse d'existence pour des théories quantiques des champs en quatre dimensions, dont la chromodynamique quantique, avec la théorie de Yang-Mills pure, liée à un problème du prix du millénaire du Clay, comme résultat intermédiaire.
Le plus intéressant est ce qu'OpenAI en fait. Plutôt que de publier des articles en son nom, il qualifie la production du modèle de données de recherche brutes et a demandé à des experts extérieurs de décider de la publication de chaque résultat. Le résultat mathématique et sa preuve Lean sont simplement publics. Celui de complexité est confié à un groupe mené par Russell Impagliazzo, Ramamohan Paturi et Ryan Williams, qui a demandé la publication de toutes les données brutes et le financement d'une conférence par OpenAI ; la preuve en langage naturel et la formalisation Lean sont déjà sur GitHub. Le groupe de physique, mené par le prix Nobel David Gross avec Arthur Jaffe, Michael Douglas, Igor Klebanov et Nikita Nekrasov, a choisi de retenir le matériel produit par l'IA et de rédiger lui-même le résultat.
OpenAI fixe quatre règles à ces groupes : pas d'accord de confidentialité, aucun crédit académique revendiqué par OpenAI, une reconnaissance pour ceux qui expliquent le travail, et une participation bénévole et indépendante. Il mentionne aussi une contribution de 5 millions de dollars à un programme de la Simons Foundation consacré à l'étude des résultats produits par l'IA. Cela fait suite à une publication antérieure le 6 octobre et à une habitude croissante des laboratoires, Anthropic compris, de publier des recherches attribuées à leurs modèles.
La formalisation en Lean est la preuve la plus solide avancée, car une démonstration vérifiée par machine est difficile à truquer. Elle ne dit pas tout. Une preuve formelle ne vaut que par l'énoncé qu'elle établit, et vérifier que les définitions formelles correspondent aux conjectures telles que les mathématiciens les entendent est précisément le travail des groupes. OpenAI reconnaît aussi que le choix des premiers référents oriente qui participe et crée une asymétrie d'information.
Aucun des trois résultats n'a été évalué par des pairs, et le matériel de physique n'est pas public. Des affirmations de cette ampleur se sont déjà effondrées à la lecture des experts. Le plus raisonnable est d'attendre l'avis des groupes de travail avant de considérer l'une d'elles comme acquise.