DeepSeek lança o modelo DeepSeekMath‑V2

Jinse Finance relatou que a DeepSeek lançou um novo modelo de raciocínio matemático, o DeepSeekMath-V2, que utiliza uma estrutura de treinamento autoverificável. Este modelo é construído com base no DeepSeek-V3.2-Exp-Base, revisa automaticamente as provas matemáticas geradas por meio de um verificador LLM e utiliza amostras de alta dificuldade para otimizar continuamente o desempenho.