11月27日消息，全網(wǎng)都在等DeepSeek發(fā)布V4大模型，然而好事多磨，這個模型一直沒有問世，但DeepSeek也沒閑著，時不時來個驚喜，今晚突然低調(diào)發(fā)布了DeepSeekMath-V2模型。

DeepSeekMath-V2是一款可自我驗證的數(shù)學(xué)推理訓(xùn)練框架，基于 DeepSeek?V3.2?Exp?Base訓(xùn)練而來，通過LLM驗證器自動審查生成的數(shù)學(xué)證明，并利用高難度樣本持續(xù)優(yōu)化性能。

目前該模型代碼與權(quán)重已開源，發(fā)布于Hugging Face及GitHub平臺。

這款模型強在哪里？先說結(jié)果，在IMO 2025和CMO 2024中均達到金牌水平，Putnam 2024獲118/120分。

如果對比當(dāng)前頂級的大模型，比如Claude Sonnet4、GPT-5、Gemini 2.5 Pro等，Basic測試中得分被DeepSeekMath-V2的99分遠(yuǎn)遠(yuǎn)甩開，Adveanced中也只比Gemini DeepThink的65.7分略低，這個模型也是谷歌特調(diào)的，也達到到了IMO金牌水平。

考慮到DeepSeekMath-V2的開源、免費等特性，可以說它是當(dāng)前最強的數(shù)學(xué)模型了。

不過DeepSeek官方的說法倒是很謙虛，表示盡管仍有許多工作需要完成，這些結(jié)果表明，自我可驗證的數(shù)學(xué)推理是一個可行的研究方向，可能有助于開發(fā)更強大的數(shù)學(xué)AI系統(tǒng)。

如果聯(lián)系到DeepSeek最近幾款特殊模型的表現(xiàn)，顯然他們在V4發(fā)布之前積累了相當(dāng)多的新技術(shù)新想法，在OCR、數(shù)學(xué)等方面表現(xiàn)驚艷，這么一想V4如果是全能型的多模態(tài)大模型，那就更值得期待了。