Edgen Stock·Nov 28 2025, 00:53DeepSeek發布了DeepSeekMath-V2，一個開源AI模型，在國際數學奧林匹克競賽（IMO）中達到了「金牌」標準，與Google和OpenAI等行業領導者的專有模型不相上下。該模型的高性能，加上其開源性質和創新的自驗證框架，為商業AI市場引入了顯著的競爭動態。
DeepSeek，一家科技公司，宣布推出 DeepSeekMath-V2，一個開源人工智能模型，其在高級數學推理方面的表現已達到與 Google 和 OpenAI 等領先專有系統相當的水平。該模型在國際數學奧林匹克競賽（IMO）模擬中達到了「金牌」標準。此次發布不僅因其技術成就而意義重大，還因其開源性質對閉源AI巨頭的既有商業模式構成了戰略挑戰，並可能影響投資者對AI領域長期競爭護城河的信心。
DeepSeekMath-V2 的核心成就是其展示了解決複雜、競賽級別數學問題的能力，在2025年IMO和2024年中國數學奧林匹克競賽基準中均達到了金牌門檻。這一性能水平使其躋身於能夠進行複雜邏輯推導和證明生成的精英AI系統之列。
這一成功背後關鍵的技術創新是模型的自驗證訓練框架。該系統不單純依賴於人類反饋的傳統強化學習，而是通過驗證每個推理步驟的邏輯一致性來生成證明並迭代地完善它們。這種「自驗證推理」方法似乎是提高AI在形式領域可靠性和能力的一條高效途徑。
頂級開源數學模型的引入對AI市場具有重大影響。首要影響是圍繞專有、閉源AI產品的商業護城河可能被侵蝕。那些將自身價值主張建立在獨家訪問卓越模型性能基礎上的公司可能會面臨新的競爭壓力。
這一發展可能會使某些高級AI能力商品化，迫使現有企業進一步創新或調整其商業策略。例如，如果開源模型能夠與閉源系統性能匹敵，競爭格局可能會從模型訪問轉向其他因素，如專業數據、基礎設施效率和企業級安全性。這一趨勢可能影響投資者對那些大量投資於閉源生態系統的公司（例如 Nvidia 等為這些系統提供基礎產品的AI專用硬件生產商）的長期定價權的信心。
儘管 DeepSeek 尚未發布正式的專家背書，但AI研究界普遍表現出顯著的興趣。技術文檔表明，「自驗證數學推理是一個可行的研究方向」，可以幫助克服AI邏輯中現有的局限性。開源發布因其透明度和加速全行業研發的潛力而受到讚揚，挑戰了閉源開發週期的主導地位。
此次事件是開源與閉源AI開發之間更廣泛行業爭論的一部分。雖然 OpenAI 和 Google 等公司的閉源模型在性能方面 historically 處於領先地位，但快速成熟的開源生態系統正在縮小這一差距。DeepSeekMath-V2 成為了這一趨勢的一個突出案例。正如開源軟件重塑了技術行業的其他領域（從操作系統到資料庫）一樣，類似的動態現在可能正在人工智能領域加速。這一轉變可能導致AI能力的更廣泛分佈，並迫使重新評估在AI技術棧中何處可以創造可持續價值。