DeepSeek lança modelo Prover-V2: Parâmetros 671B impulsionam a prova de teoremas matemáticos
A DeepSeek abriu o modelo DeepSeek-Prover2 concebido para provas matemáticas em 1 de maio, contendo 671 mil milhões de parâmetros e uma versão de 7 mil milhões de parâmetros...
