Modelos de IA
OpenAI Nomeia Sua Próxima Família de Modelos e Publica Dez Problemas Resolvidos. Nada Foi Lançado.
Uma versão interna chamada Astra produziu provas para dez questões há muito em aberto em matemática e ciência da computação teórica, todas formalizadas em Lean. O modelo não foi lançado, e o nome é provisório.
há 3 h
