DeepSeek推出DeepSeekMath‑V2 模型

据智通财经消息，人工智能公司DeepSeek近日正式发布了新一代数学推理模型——DeepSeekMath-V2。该模型基于DeepSeek-V3.2-Exp-Base架构构建，在数学推理与证明能力上实现了显著提升。

引人注目的是，DeepSeekMath-V2采用了创新的“可自我验证”训练框架。在这一机制中，模型利用大型语言模型(LLM)作为内置验证器，能够对自身生成的数学证明过程进行自动化审查与校验。这一设计不仅增强了推理结果的可靠性，也大幅提升了模型在复杂数学问题上的自我纠错能力。

此外，研发团队通过引入高难度数学样本来持续优化模型性能，使其在应对复杂定理证明、抽象代数及高等数学问题时表现出更强的泛化能力与逻辑严谨性。这种以“高质量数据驱动”为核心的训练策略，进一步夯实了模型在专业领域的应用基础。

DeepSeekMath-V2的推出，标志着数学推理模型在自动化、严谨性与可解释性方面迈出了重要一步，也为后续在科学研究、教育辅助等场景的深入应用提供了新的技术支撑。