OpenAI afferma che i suoi modelli hanno confutato l'ipotesi del tempo esponenziale e dimostrato la congettura di Kakeya
OpenAI pubblica tre risultati prodotti dai suoi modelli interni, in informatica teorica, matematica e fisica, con dimostrazioni formali in Lean. Nessuno è ancora stato convalidato dalla comunità, e gruppi di ricercatori indipendenti sono incaricati di esaminarli.






