Categorias: Inteligência Artificial
A OpenAI colocou no GitHub 722 manuscritos de matematica em 372 familias, gerados por um modelo interno ainda nao lancado, com formalizacao em Lean incompleta.
Leia mais
Categorias: 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.
Leia mais
Categorias: Inteligência Artificial
A OpenAI matemática ganhou em 6 de outubro um repositório com 722 manuscritos em 372 famílias, parte deles formalizada em Lean. O modelo ainda não é público.
Leia mais