DeepSeek发布新模型DeepSeek最强数学模型开源DeepSeek发布了

DeepSeek发布新模型DeepSeek最强数学模型开源DeepSeek发布了最新的数学推理模型DeepSeekMath-V2 ，并且直接开源了权重。【图1】Hugging Face的CEO激动地说，这相当于你可以免费把“世界上最好的数学大脑”下载下来。【图2】先来看看它到底有多强，根据官方和第三方披露的数据，该模型简直是个刷题机器：在2025年国际数学奥林匹克竞赛（ IMO 2025 ）和2024年中国数学奥林匹克竞赛（ CMO 2024 ）中，它都拿到了金牌水平。在普特南数学竞赛（ Putnam 2024 ）中，它拿到了118分（满分 120 ），这可是全美顶尖本科生参加的高难度竞赛，它差点就满分通关了。另外在代数、几何、数论等多个领域的平均证明得分上，DeepSeekMath-V2的表现甚至超过了Gemini2.5-Pro和GPT5-Thinking-High 。【图3】DeepSeekMath-V2的创新在于，它改变了“思考方式”。它主打的是“可自我验证”（ Self-verifiable ），不仅是做题，还内置了一个“检查员”，会一步步推导证明过程，并自动审查每一步严不严谨。如果发现中间推导有漏洞，它会自我修正，而不是一本正经地胡说八道。这是一个拥有685B参数的庞然大物，基于DeepSeek-V3.2-Exp-Base打造，并且采用了Apache 2.0协议开源，对于开发者来说，最大的好消息是：开源模型意味着没有任何公司或机构能把它收回，你可以自由地研究它、微调它，甚至商用。虽然要运行这么大的模型对硬件要求极高，但这无疑是AI领域的一次“技术普惠”。