圖片來源：DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning
DeepSeek方面表示，盡管仍有許多工作要做，但這些結(jié)果表明，自驗證數(shù)學(xué)推理是一個可行的研究方向，可能有助于開發(fā)更強大的數(shù)學(xué)AI系統(tǒng)。
這款突破性的開源數(shù)學(xué)模型發(fā)布后，再次在社交平臺、reddit、Hacker News等評論區(qū)、社區(qū)引發(fā)熱潮。
其在測試、競賽成績和自驗證方面形成的數(shù)學(xué)定理證明能力突破，最令人關(guān)注。
“從‘結(jié)果導(dǎo)向’的驗證轉(zhuǎn)向‘過程導(dǎo)向’的驗證，這對于定理證明尤為重要，因為在定理證明中，嚴(yán)格的逐步推導(dǎo)比數(shù)值答案更重要。”
“雖然還不清楚具體用途，但擁有一位全天候免費提供的數(shù)學(xué)天才，其潛力巨大。”
“這款開源模型會大大有助于自動化許多注重驗證的編程語言中的繁瑣工作！”
由研究人員和工程師組成的跨學(xué)科團(tuán)隊Binary Verse AI發(fā)文稱，一個開源模型悄無聲息地發(fā)布，卻突破了本科數(shù)學(xué)的瓶頸。該文章作者阿茲馬特（Azmat）提到，Math-V2的有趣之處不僅在于競賽分?jǐn)?shù)，更在于其方法。
圖片來源：DeepSeek Math V2: Inside the Open Source Model That Beat Google at the Math Olympiad，Binary Verse AI
“如果你曾經(jīng)批改過數(shù)學(xué)試卷，你就會明白猜對答案的學(xué)生和真正推導(dǎo)出答案的學(xué)生之間的區(qū)別。”阿茲馬特認(rèn)為，此前的大模型多屬于前者，只是概率性的猜測者，而Math-V2的出現(xiàn)改變了這一切。
文章總結(jié)稱，我們正從“聊天機器人”時代過渡到“推理者”時代。Math-V2證明了可自驗證的數(shù)學(xué)推理是可以解決的。或許，人類不需要通用人工智能（AGI）來獲得嚴(yán)謹(jǐn)?shù)臄?shù)學(xué)運算能力，只需要教會模型保持謙遜。
社交平臺上，不少AI領(lǐng)域的KOL和知名專家都在轉(zhuǎn)發(fā)消息并表示“DeepSeek強勢回歸”“這是你無法忽視的力量”。
圖片來自社交平臺X
雖然DeepSeek R2的“難產(chǎn)”已經(jīng)成為了AI領(lǐng)域玩梗級別的存在，但實際上，不管是10月發(fā)布、讓OpenAI聯(lián)合創(chuàng)始人大神安德烈·卡帕斯（Andrej Karpathy）盛贊的探索視覺-文本壓縮邊界的DeepSeek-OCR，還是剛剛發(fā)布的Math-V2，都提示著人們：別忘了，今年AI領(lǐng)域的驚喜，正是從DeepSeek開始的。（作者｜胡珈萌，編輯｜李程程）
快報
根據(jù)《網(wǎng)絡(luò)安全法》實名制要求，請綁定手機號后發(fā)表評論
從只看答案到重視推理過程，Math-V2 這思路轉(zhuǎn)變太關(guān)鍵了，以后定理證明有幫手了！
開源模型能做到這水平，以后中小團(tuán)隊也能玩數(shù)學(xué) AI，不用再被巨頭卡脖子了！
之前覺得 AI 數(shù)學(xué)頂破天就是做題，Math-V2 一出來，才知道還能當(dāng) “小數(shù)學(xué)家”！
驗證器訓(xùn)生成器還能自糾錯，這邏輯閉環(huán)玩得溜，難怪推理能這么嚴(yán)謹(jǐn)！
之前 OpenAI、谷歌拿 IMO 金牌夠厲害，結(jié)果 DeepSeek 不光跟上，還搞出開源版本，太驚喜了！
不管 R2 怎么樣，Math-V2 這波已經(jīng)讓 DeepSeek 在 AI 圈站穩(wěn)腳，以后肯定還有大動作！
社交平臺上好多 KOL 轉(zhuǎn)發(fā)，都說這是 “無法忽視的力量”，看來業(yè)內(nèi)認(rèn)可度超高！
社交平臺都炸了，好多專家說這是 “推理者” 時代的開始，不是光聊天的 AI 了！
自驗證推理不光能做數(shù)學(xué)，說不定以后還能用到物理、化學(xué)證明，潛力太大了！
以前 AI 數(shù)學(xué)只敢當(dāng) “做題家”，Math-V2 居然能嚴(yán)謹(jǐn)推理，連證明過程都能自驗證，絕了！