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: https://exame.com/inteligencia-artificial/openai-divulga-722-manuscritos-matematicos-criados-por-ia-ainda-nao-lancada/