Scan to Download
DeepSeek推出新型數學推理模型DeepSeekMath-V2,採用可自我驗證的訓練框架。該模型基於DeepSeek-V3.2-Exp-Base構建,通過LLM驗證器自動審查生成的數學證明,並利用高難度樣本持續優化性能。在IMO 2025和CMO 2024中均達到金牌水平,Putnam 2024獲118/120分。
團隊表示,該成果驗證了自驗證推理路徑的可行性,爲構建可靠數學智能系統提供新方向。模型代碼與權重已開源,發佈於Hugging Face及GitHub平臺。
請登入後使用 KeyAI