DeepSeek 开源了一个数学推理大模型：DeepSeek-Math-V2 超越 Gemini 获得 IMO 金牌 它不仅能给出正确答案，而且还能验证自己的推理是否合理 核心创新是开发了一个“生成 + 验证+复审”的自我验证系统” 模型能： 自动生成数学证明； 自行检查每一步是否合理； 修正推理错误后再输出最终证明。 DeepSeek-Math-V2 在多个高难度数学测试上表现优异