每经编辑｜程鹏 11月27日，DeepSeek在HuggingFace推出新型数学推理模型DeepSeekMath-V2，采用可自我验证的训练框架。该模型基于DeepSeek-V3.2-Exp-Base构建，通 过LLM验证器自动审查生成的数学证明，并利用高难度样本持续优化性能。在IMO 2025和CMO 2024中均达到金牌水平，Putnam 2024获118/120分。团队 表示，该成果验证了自验证推理路径的可行性，为构建可靠数学智能系统提供新方向。模型代码与权重已开源，发布于Hugging Face及GitHub平台。 编辑|程鹏 杜恒峰 校对|金冥羽 封面图片来源：视觉中国 来源：每经快讯 ...