OpenAI publica 372 famílias de resultados matemáticos de um modelo interno
Catégories: 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.
Lire la suite