A OpenAI publicou 722 manuscritos matemáticos produzidos por um modelo interno ainda não lançado. Os trabalhos estão organizados em 372 grupos de resultados relacionados e apresentam diferentes estágios de verificação. Parte das demonstrações foi formalizada em Lean, ferramenta que permite conferir provas por computador. A divulgação inclui informações sobre o processo de produção e segue consultas a um grupo independente de matemáticos.
Leia mais em: