Investigação
OpenAI publica 722 manuscritos matemáticos gerados por IA, mas a verificação continua incompleta
A OpenAI publicou 722 manuscritos matemáticos, agrupados em 372 famílias de resultados, produzidos por um modelo interno ainda não lançado, juntamente com formalizações em Lean e informação sobre o processo de geração.