#数学推理大模型

12小时前

DeepSeek 开源了一个数学推理大模型：DeepSeek-Math-V2 超越 Gemini 获得 IMO 金牌它不仅能给出正确答案，而且还能验证自己的推理是否合理核心创新是开发了一个“生成 + 验证+复审”的自我验证系统” 模型能：自动生成数学证明；自行检查每一步是否合理；修正推理错误后再输出最终证明。 DeepSeek-Math-V2 在多个高难度数学测试上表现优异在五大数学领域（代数、几何、数论、组合、不等式）中： DeepSeekMath-V2 全面超越 GPT-5-Thinking 和 Gemini 2.5 Pro。竞赛表现 IMO 2025（国际数学奥赛）：解出 6 题中 5 题，金牌水平。 CMO 2024（中国数学奥赛）：解出 4 题 + 1 题部分得分，金牌水平。 Putnam 2024（美国大学数学赛）：118/120 分，几乎满分。

#DeepSeek-Math-V2 #数学推理大模型 #IMO金牌 #自我验证系统 #超越Gemini