tradingkey.logo

DeepSeek發佈可自驗證數學模型DeepSeekMath-V2

老虎資訊2025年11月27日 13:33

DeepSeek推出新型數學推理模型DeepSeekMath-V2,採用可自我驗證的訓練框架。該模型基於DeepSeek-V3.2-Exp-Base構建,通過LLM驗證器自動審查生成的數學證明,並利用高難度樣本持續優化性能。在IMO 2025和CMO 2024中均達到金牌水平,Putnam 2024獲118/120分。

團隊表示,該成果驗證了自驗證推理路徑的可行性,爲構建可靠數學智能系統提供新方向。模型代碼與權重已開源,發佈於Hugging Face及GitHub平臺。

免責聲明:本網站提供的資訊僅供教育和參考之用,不應視為財務或投資建議。

相關文章

KeyAI