公司技术发布 - 推出新型数学推理模型DeepSeekMath-V2，采用可自我验证的训练框架[1] - 模型基于DeepSeek-V3.2-Exp-Base构建，通过LLM验证器自动审查生成的数学证明[1] - 利用高难度样本持续优化性能[1] 模型性能表现 - 在IMO2025和CMO2024数学竞赛中均达到金牌水平[1] - 在Putnam2024数学竞赛中获得118/120分[1] - 团队表示该成果验证了自验证推理路径的可行性[1] 技术开源与发布 - 模型代码与权重已开源[1] - 发布于Hugging Face及GitHub平台[1] - 为构建可靠数学智能系统提供新方向[1]

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