OpenAI matemática: 722 manuscritos de modelo interno vão ao GitHub
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