OpenAI affirme que ses modèles ont réfuté l'hypothèse du temps exponentiel et démontré la conjecture de Kakeya

OpenAI a présenté des résultats produits par l'IA et soumis à la communauté académique : une réfutation de l'hypothèse du temps exponentiel vérifiée en Lean, une preuve de la conjecture de lissage local en toute dimension (qui règle les conjectures de Kakeya et de restriction) et une preuve de l'existence de théories quantiques des champs en dimension quatre comme Yang-Mills. L'entreprise a aussi versé 5 millions de dollars à la Simons Foundation pour des ateliers consacrés à ces résultats.