OpenAI publica 372 famílias de resultados matemáticos de um modelo interno
文章分类: Inteligência Artificial
O catálogo de 6 de outubro reúne 722 manuscritos de um modelo de fronteira ainda não lançado. Parte das provas está em Lean; a OpenAI admite que resultados não formalizados podem ter falhas.
阅读全文