Reitero que a DeepSeek sempre anuncia seus objetivos na seção Conclusão/Limitações/Trabalhos Futuros. Após o Prover-V2, o objetivo era atingir o nível da IMO (Ordem dos Méritos da Índia). Eles atingiram o nível da IMO com o Math-V2. Próximo objetivo: matemática em nível de pesquisa.
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.

