OpenAI divulga 722 manuscritos matemáticos criados por IA ainda não lançada
Resultados cobrem cerca de quatro mil problemas e estão em diferentes etapas de verificação; empresa promete liberar acesso e financiar debates sobre os achados
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.
Publicado originalmente por Exame. Leia a matéria completa em https://exame.com/inteligencia-artificial/openai-divulga-722-manuscritos-matematicos-criados-por-ia-ainda-nao-lancada/.
Compartilhe
Espalhe essa notícia