您當前的位置 ：
DeepSeek推出DeepSeekMath-V2模型，主打自驗證數學推理能力
发布：2025-11-28
11 月 27 日消息，DeepSeek 發佈了 DeepSeekMath V2，主打可自我驗證的數學推理訓練框架。
團隊認為，僅追求最終答案正確率難以保證推理鏈條的嚴謹性，尤其在定理證明等需要逐步推導的任務中更為突出。模型通過構建基於 LLM 的驗證器，對生成的證明進行自動審查，並利用擴展的驗證計算持續生成高難度訓練樣本提升驗證器能力。
據記者瞭解，DeepSeekMath V2 基於 DeepSeek V3.2 Exp Base，在 2025 年國際數學奧林匹克競賽（IMO 2025）與 2024 年中國數學奧林匹克競賽（CMO 2024）中均達到金牌水準，並在 2024 年普特南數學競賽（Putnam 2024）中取得 118/120（近乎滿分）的優異成績。官方稱，儘管尚有大量工作待推進，當前成果已表明：可自驗證的數學推理是一條切實可行的研究路徑，有望為構建更強大、更可靠的數學智能系統奠定基礎。
來源：中國IT之家
- 相關推荐
-
-
全球手持智能相機中國品牌霸榜！大疆、影石合計拿下93%份額链接阅读
-
手握磷礦，磷化工龍頭再度加碼磷酸鐵鋰，年內投資近150億链接阅读
-
特斯拉得州機器人工廠主結構接近完工 穩步推進2027年量產計畫链接阅读
-
中國首個L4萬卡集群建成 近1.5萬卡賦能無人駕駛研發链接阅读 -
機器人也要有超腦了！聯發科Genio Pro 5100晶片發佈：3nm制程+106 TOPS算力链接阅读
-
穀歌最強數學推理AI模型曝光：100萬詞元上下文，專攻數學難題链接阅读
-
4個月蒸發7000億！下游車企加速去寧德化 小米理想等已做出表率链接阅读
-
攜程集團：第二季度營業收入同比增長6%，淨虧損約25億元链接阅读
-
