OpenAI affirme que l'IA a résolu Kakeya et réfuté l'ETH

OpenAI a annoncé trois nouvelles découvertes en mathématiques, en informatique et en physique. Le modèle a prouvé que l'hypothèse du temps exponentiel (ETH), utilisée comme prémisse de difficulté computationnelle dans des centaines d'articles, est fausse ; le résultat a été formellement vérifié en Lean et sera contrôlé par un groupe dirigé par les auteurs de l'hypothèse, Russell Impagliazzo et Ramamohan Paturi, ainsi que par le professeur du MIT Ryan Williams.

Le modèle a prouvé la conjecture de lissage local en dimensions arbitraires, résolvant par là même la conjecture de Kakeya et la conjecture de restriction de Stein ; côté physique, il a fourni une preuve rigoureuse d'existence pour des théories quantiques des champs à quatre dimensions, dont la chromodynamique quantique, parmi lesquelles figure une preuve d'existence pour la théorie de Yang–Mills pure liée au problème du millénaire, qui sera contrôlée par un groupe dirigé par le lauréat du prix Nobel de physique David Gross.

OpenAI considère ces manuscrits comme des données de recherche brutes et expérimente une nouvelle approche de publication, en contactant des experts externes pour jouer le rôle de guides, en organisant des groupes chargés de comprendre les nouveaux résultats. Pour le résultat mathématique, OpenAI a publié la sortie de l'IA, laissant les chercheurs libres d'organiser eux-mêmes leurs efforts pour l'expliquer ; en informatique, un groupe externe de collaborateurs expliquera le résultat tandis que la sortie de l'IA est publiquement disponible ; en physique, un groupe externe reporte la publication des matériels.

OpenAI déclare ne pas rechercher de crédit académique pour les découvertes produites par ses modèles internes, et que les membres des groupes de travail participent bénévolement, sans rémunération et de manière indépendante. Ces résultats attendent encore une vérification indépendante par la communauté académique.