DeepSeek 推出創新數學模型 DeepSeekMath-V2 強化智能推理

DeepSeek 宣佈了其最新的數學推理模型 DeepSeekMath-V2，這款模型以可自我驗證的創新訓練框架聞名，並在國際大型競賽中展示卓越實力。在即將舉行的 2025 年國際數學奧林匹克競賽及 2024 年中國數學奧林匹克競賽中均達到金牌水準。此外，該模型在 2024 年普特南數學競賽中獲得接近滿分的 118 分（滿分為 120 分），成績相當驚人。 DeepSeekMath-V2 是基於 DeepSeek-V3.2-Exp-Base 構建，透過運用先進的 LLM 驗證器能夠自動審查生成的數學證明。團隊強調，這個自動化系統的亮點在於其先進的驗證、產生閉環及元驗證機制，這些機制大幅提升了數學證明品質的評估準確性，並實現了全自動化標註的目標。市場反應熱烈，預期新模型將對未來數學智能系統的發展產生深遠影響。 值得注意的是，DeepSeek 已將該模型的程式碼和權重開源，分別在 Hugging Face 和 GitHub 平台上提供，為行業研究與開發提供了新的方向。這一舉措不僅顯示了 DeepSeek 在數學推理領域的技術實力，也反映了他們對推廣技術透明性與開放合作的承諾。 隨著國際與中國市場對高性能自驗證模型需求的增加，業界專家認為，DeepSeekMath-V2 的推出有望進一步鞏固 DeepSeek 在數學人工智能領域的領先地位。