IXThinker·2025-05-03 10:10Prover-V2刷新數學定理證明紀錄
DeepSeek發布專注數學定理證明的新模型DeepSeek-Prover-V2，大幅刷新多項高難度基準紀錄，在普特南測試解出49題，更報告了透過強化學習「發現新技能」的現象，延續R1帶來的驚喜。
普特南破紀錄
在普特南測試上，DeepSeek-Prover-V2直接把紀錄刷新至49題。作為對比，目前榜首在657題中僅解出10題，是Kimi與AIME2024冠軍團隊Numina合作的Kimina-Prover；而未針對定理證明優化的DeepSeek-R1只做出1題。
IXThinker 會員內容
呢篇係 Archive 內容。登入即可解鎖全文，仲有成個 15,000+ 篇、每日更新嘅 AI 動態資料庫。
免費登入／註冊解鎖全文 →Google 或電郵地址即可，即刻解鎖。