DeepSeek新模型有多猛 开源AI的重大突破！DeepSeek最新发布的开源数学模型DeepSeekMath-V2，在全球最难的高中数学竞赛中达到了金牌水平，成为首个实现这一成就的开源模型，标志着开源人工智能在复杂推理能力上的一次重大突破。
昨日，DeepSeek宣布推出其最新的数学推理模型DeepSeekMath-V2。该模型在模拟的2025年国际数学奥林匹克竞赛（IMO）中解决了6个问题中的5个，达到了金牌水平。这一成就使其成为第一个在IMO级别竞赛中获得金牌的开源模型，引发了AI研究和开发者社区的高度关注。
今年7月，谷歌DeepMind的Gemini高级版本和一个来自OpenAI的实验性推理模型也达到了IMO 2025的金牌标准，同样解决了5个问题。然而，与这些闭源实验模型不同，DeepSeekMath-V2的模型权重根据Apache 2.0许可证公开发布，可供公众下载。
DeepSeekMath-V2采用了一种创新的自我验证训练框架。该方法的核心是训练一个专门的“验证器”，任务是评估证明过程的质量，而不是最终答案的对错。为了防止模型过度拟合其自身的检查机制，DeepSeek通过增加计算量和自动标记难以验证的证明，来不断提升验证过程的难度，确保验证器与生成器同步进化。
此举被视为人工智能民主化的重要一步。该模型的发布不仅证明了开源社区有能力在尖端AI研究领域追赶甚至比肩顶级闭源实验室，也可能再次引发市场对于开源模型是否会侵蚀闭源产品商业护城河的讨论。