每經AI快訊，11月27日，DeepSeek在HuggingFace推出新型數(shù)學推理模型DeepSeekMath-V2，采用可自我驗證的訓練框架。該模型基于DeepSeek-V3.2-Exp-Base構建，通過LLM驗證器自動審查生成的數(shù)學證明，并利用高難度樣本持續(xù)優(yōu)化性能。在IMO 2025和CMO 2024中均達到金牌水平，Putnam 2024獲118/120分。團隊表示，該成果驗證了自驗證推理路徑的可行性，為構建可靠數(shù)學智能系統(tǒng)提供新方向。模型代碼與權重已開源，發(fā)布于Hugging Face及GitHub平臺。