在 Gemini 和 Claude 连续“炸场”的同时，许多人开始好奇，曾经引领风潮的“鲸鱼”——DeepSeek，究竟去哪儿了？如今，答案终于揭晓，而且，它比我们预想的还要强大。

🚀 DeepSeekMath-V2 正式开源！

今天，DeepSeek 在 HuggingFace 上公开了其最新力作：DeepSeekMath-V2，这是一款拥有 685B 参数的数学推理模型，震撼了整个开源社区。

文章目录

• 📢 刚刚，DeepSeek 再次震撼开源社区！这一次，它刷新了我们对数学推理 AI 的想象。

数学竞赛进步神速，深刻洞察背后的挑战

在过去一年中，大型语言模型在数学竞赛中的表现可以说是突飞猛进。从 AIME 到 HMMT，这些竞赛成绩一路飙升。但 DeepSeek 团队意识到，尽管这些模型能够快速得出正确答案，但它们的推理过程存在问题——做对答案 ≠ 正确推理。

数学，向来不仅仅是为了得到答案，更是为了验证逻辑的严谨性，确保每个步骤的推理都毫无漏洞。

DeepSeekMath-V2：自我验证的突破

为了解决这个问题，DeepSeek团队设计了一个独特的“自我验证”机制。该机制通过引入一个评判员角色，来审查和挑剔模型的推理过程，找出其中的漏洞和不严谨的地方。之后，答题者（模型）会根据评判员的反馈，不断调整和修改，直到推理过程无懈可击。

这种自我检查机制不仅确保了最终答案的正确性，更重要的是，它极大提升了模型的数学严谨性。

这项技术有什么影响？

这一创新不仅让 DeepSeekMath-V2 在数学推理的严谨性上迈出了坚实的步伐，还取得了以下令人瞩目的成果：

• IMO 2025 和 CMO 2024 等国际数学奥林匹克赛事中，DeepSeekMath-V2 达到了 金牌水平。
• 在 美国普特南数学竞赛 中，它获得了 118 分（满分120），超过了人类选手的最高分90分。
• 成为首个 IMO 金奖级别的开源模型。

这一成绩意味着什么？尽管 DeepSeekMath-V2 仍处于早期阶段，但如果这一发展路线成功，AI 不仅能够独立验证数学猜想，甚至可能推动对开放数学问题的进一步研究。

成为数学推理的开创者

目前，DeepSeekMath-V2 已经在 Apache 2.0 协议下全面开源。研究团队表示：“让 AI 学会自我检查，是数学推理系统发展的关键一步。”通过这一创新，DeepSeek不仅在激烈的AI数学竞赛领域中稳占一席之地，还以更强大的实力回归。

未来展望

随着 DeepSeekMath-V2 的开源发布，我们已经看到了 AI 在数学推理领域的巨大潜力。尽管我们现在的技术还处于早期阶段，但这一突破为未来的数学研究打开了新的大门。或许在不久的将来，AI将成为数学领域的有力助手，独立发现和验证新的数学定理。

相关链接：

• 模型地址：DeepSeek-Math-V2 模型:https://huggingface.co/deepseek-ai/DeepSeek-Math-V2
• 技术论文：DeepSeekMath-V2 论文:https://github.com/deepseek-ai/DeepSeek-Math-V2/blob/main/DeepSeekMath_V2.pdf

DeepSeek 以其创新的自我验证机制和卓越的数学推理能力，再次刷新了我们对数学推理 AI 的认知。随着更多的数学推理问题被解决，未来的人工智能将有更多可能，值得我们共同期待。#牛客AI配图神器#