深寻发布自验证数学推理模型“DeepSeekMath-V2”
发布时间：2025年11月28日
来源：szf
快速阅读: DeepSeek发布数学推理模型DeepSeekMath-V2，基于自验证训练框架，展现国际数学竞赛顶尖成绩，代码已开源，推动数学智能系统发展。
DeepSeek发布了新一代数学推理模型DeepSeekMath-V2，该模型基于自验证训练框架构建。在DeepSeek V3.2-Exp-Base的基础上开发，系统利用大型语言模型驱动的验证模块自动检查生成的数学证明的正确性，同时通过不断挑战更高难度的样本持续优化性能。
该模型在主要竞赛中展现了顶尖成绩——2025年国际数学奥林匹克竞赛金牌水平表现、2024年中国数学奥林匹克竞赛金牌水平表现，以及2024年普特南考试120分中的118分。团队表示，这些成绩证实了“自验证推理路径”的可行性，为构建可信、高可靠性的数学智能系统提供了有希望的方向。
目前，该模型的代码和权重已在Hugging Face和GitHub上开源。
(以上内容均由Ai生成)
