【ＡＩ】DeepSeek發布可自驗證數學模型，在數學奧林匹克競賽達金牌水準

by · 28 11 月, 2025

《經濟通通訊社２８日專訊》ＤｅｅｐＳｅｅｋ推出新型數學推理模型
ＤｅｅｐＳｅｅｋＭａｔｈ－Ｖ２，採用可自我驗證的訓練框架。該模型基於ＤｅｅｐＳｅｅｋ
－Ｖ３﹒２－Ｅｘｐ－Ｂａｓｅ構建，通過ＬＬＭ驗證器自動審查生成的數學證明，並利用高難
度樣本持續優化性能。該模型在２０２５年國際數學奧林匹克競賽（ＩＭＯ２０２５）與
２０２４年中國數學奧林匹克競賽（ＣＭＯ２０２４）中均達到金牌水準，並在２０２