OpenAI afirma que sus modelos han refutado la hipótesis del tiempo exponencial y demostrado la conjetura de Kakeya
OpenAI publica tres resultados producidos por sus modelos internos, en informática teórica, en matemáticas y en física, con demostraciones formalizadas en Lean. Ninguno ha sido validado todavía por la comunidad, y grupos de investigadores independientes se encargan de examinarlos.






