OpenAI affirme que ses modèles ont réfuté l'hypothèse du temps exponentiel et démontré la conjecture de Kakeya
OpenAI publie trois résultats produits par ses modèles internes, en informatique théorique, en mathématiques et en physique, avec des preuves formalisées en Lean. Aucun n'a encore été validé par la communauté, et des groupes de chercheurs indépendants sont chargés de les examiner.






