DeepSeek推出自驗證數學模型，中國開源AI首次超越美國

DeepSeek於11月27日推出新一代數學推理模型DeepSeekMath-V2，該模型採用創新的自我驗證訓練框架，專注於提升複雜數學問題中的推理嚴謹性。這一發布恰逢中國在全球開源AI模型市場份額首次超越美國，顯示出中國在人工智能領域的快速崛起。

自我驗證機制解決數學推理根本難題，傳統方法僅關注最終答案准確性，難以保證推理過程的邏輯嚴謹性。DeepSeekMath-V2構建了“生成器-驗證器”雙模型架構，能對生成的數學證明進行自動審查，並通過元驗證機制抑制模型幻覺。競賽表現達到金牌水平，基於DeepSeek-V3.2-Exp-Base構建的該模型，在2025年國際數學奧林匹克競賽（IMO 2025）和2024年中國數學奧林匹克競賽（CMO 2024）中均達到金牌水平，更在2024年普特南數學競賽中獲得118/120的近乎滿分成績。

開源戰略助推中國AI領先，與此同時，麻省理工學院與Hugging Face的聯合研究顯示，中國開源模型下載份額已達17%，首次超過美國的15.8%。DeepSeekMath-V2已公開發佈於Hugging Face和GitHub平臺，遵循Apache 2.0開源協議。

業界專家認爲，這種“顛覆性”的模型發佈方式——每週或每兩週發佈新模型並提供多種衍生版本——使中國在開源AI領域獲得關鍵優勢。而DeepSeekMath-V2的推出，進一步鞏固了中國在數學推理這一AI核心領域的領先地位。