全网都在等待DeepSeek推出V4大模型，没D模型可惜一直未见踪影，数学赛金不过DeepSeek并未停滞，牌水平总在不经意间带来意外之喜。没D模型今晚，数学赛金它悄然推出了DeepSeekMath-V2模型。牌水平

DeepSeekMath-V2 是没D模型一款具备自我验证能力的数学推理训练框架，基于 DeepSeek V3.2 Exp Base 构建，数学赛金借助 LLM 验证器对生成的牌水平数学证明进行自动审查，并通过高难度样本不断迭代提升模型表现。没D模型

当前该模型的数学赛金代码与权重已开放，可于Hugging Face及GitHub平台获取。牌水平

这模型的没D模型厉害之处在哪？直接看成绩：在IMO 2025和CMO 2024中均斩获金牌，Putnam 2024更是数学赛金取得118/120的高分。

如果对比当前顶级的牌水平大模型，比如Claude Sonnet4、GPT-5、Gemini 2.5 Pro等，Basic测试中得分被DeepSeekMath-V2的99分远远甩开，Adveanced中也只比Gemini DeepThink的65.7分略低，这个模型也是谷歌特调的，也达到到了IMO金牌水平。

鉴于DeepSeekMath-V2具备开源与免费等优势，可称其为目前最强大的数学模型。

尽管还有不少任务待推进，DeepSeek官方仍以谦逊态度指出，现有成果证明了自我可验证的数学推理具备可行性，或许能为构建更强的数学AI系统提供有效路径。

若回顾DeepSeek近来几款特殊模型的表现，不难发现其在V4发布前已积累了大量新技术与创新思路，在OCR和数学等任务上展现出令人惊艳的能力。由此看来，倘若V4真如预期般成为一款全能型多模态大模型，那无疑将更加引人期待。