DeepSeek推出DeepSeekMath-V2模型，主打自验证数学推理能力

DeepSeek发布DeepSeekMath-V2，采用自验证推理框架，通过LLM验证器自动审查证明并生成高难度样本。该模型在IMO 2025、CMO 2024中达金牌水平，Putnam 2024获118/120分，表明其在数学推理任务中具有高准确率与潜力，验证了自验证路径的可行性，为数学智能系统发展提供新方向。
来源：https://tech.ifeng.com/c/8od5dWl5qSs