OpenAI afirma que seus modelos refutaram a hipótese do tempo exponencial e provaram a conjectura de Kakeya
OpenAI publica três resultados produzidos por seus modelos internos, em ciência da computação teórica, matemática e física, com provas formalizadas em Lean. Nenhum foi ainda validado pela comunidade, e grupos de pesquisadores independentes estão encarregados de examiná-los.






