DeepSeek 推出新型数学推理模型 DeepSeekMath-V2，采用可自我验证的训练框架，基于 DeepSeek-V3.2-Exp-Base 构建，通过 LLM 验证器审查数学证明、用高难度样本优化性能。该模型在 IMO 2025 和 CMO 2024 中达金牌水平，Putnam 2024 获 118/120 分，验证了自验证推理路径可行性，为构建可靠数学智能系统提供新方向。模型代码与权重已在 Hugging Face 及 GitHub 平台开源。同时提醒，市场有风险，投资需谨慎，本文不构成个人投资建议。