OpenAI affirme que ses modèles ont prouvé Kakeya et réfuté l'ETH

OpenAI annonce trois résultats qu'elle attribue à ses modèles : une preuve de la conjecture de lissage local en toute dimension, d'où celles de Kakeya et de la restriction de Stein, démontrées jusqu'ici en dimension deux et trois ; une réfutation de l'hypothèse du temps exponentiel (ETH) ; une preuve d'existence de théories quantiques des champs à quatre dimensions, dont la chromodynamique quantique et la théorie de Yang-Mills pure, sous-problème d'un prix du Millénaire.

OpenAI publie sur GitHub les preuves en langage naturel et en Lean pour les deux premiers ; le groupe de physiciens mené par David Gross a choisi de ne rien publier pour l'instant. Elle appelle ces manuscrits des « données brutes » que des groupes d'experts, dont Impagliazzo, Paturi et Williams pour l'ETH, doivent encore vérifier et expliquer.