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