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

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

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

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

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

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

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

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

• ·11月中國(guó)制造業(yè)PMI回升至49.2%
• ·隨身攜帶的135英寸巨幕！雷鳥(niǎo) Air 4 Pro評(píng)測(cè)：全球首款HDR智能眼鏡
• ·蘋果M4 Max MacBook Pro非原生運(yùn)行《心靈殺手2》：平均幀率80FPS！
• ·果粉能接受嗎：蘋果向谷歌“低頭”！新版Siri付費(fèi)采用Gemini
• ·小米穩(wěn)拿國(guó)產(chǎn)旗艦銷量第一：小米17系列超234萬(wàn)臺(tái)、K90系列超70萬(wàn)臺(tái)
• ·夜騎追風(fēng) 英睿摩托頭盔改裝熱成像新品專為平原騎士而生
• ·為好房子建設(shè)提供“海爾范本” 低碳建筑方案成科技展焦點(diǎn)
• ·震坤行攜創(chuàng)新方案亮相進(jìn)博會(huì) 《行家對(duì)話》專場(chǎng)啟幕
• ·臺(tái)積電1.4nm工藝A14瞄準(zhǔn)2028：10年來(lái)性能提升80%
• ·業(yè)界首個(gè)！中國(guó)電信成功打通跨運(yùn)營(yíng)商可溯源VoWiFi首呼：不怕信號(hào)差
• ·通行費(fèi)0元 國(guó)內(nèi)多條高速收費(fèi)期滿后停止收費(fèi)
• ·AirPods變身“翻譯機(jī)”：實(shí)時(shí)翻譯功能下月登陸歐盟 9種語(yǔ)言交換！
• ·能打電話的小平板！華為MatePad Mini悅讀版官方降價(jià)300：2999元起
• ·最適合入門的無(wú)人機(jī)！大疆Neo 2評(píng)測(cè)：4K60幀影像 全向避障隨便飛！
• ·蘋果iOS 26.2 Beta1上線：日版開(kāi)放側(cè)載
• ·機(jī)圈德芙 ColorOS 16正式版推送：首批適配11款機(jī)型