公司产品发布 - DeepSeek于11月27日晚间推出新型数学推理模型DeepSeekMath-V2 [1] - 该模型采用可自我验证的训练框架 [1] - 模型基于DeepSeek-V3.2-Exp-Base构建 [1] 技术创新与优化 - 通过LLM验证器自动审查生成的数学证明 [1] - 利用高难度样本持续优化模型性能 [1] - 训练框架专注于提升数学推理能力 [1]