公司技术发布 - 推出新型数学推理模型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]