DeepSeek新数学模型刷爆记录！7B小模型发现671B模型不会的新技能

梦晨西风发自凹非寺量子位 | 公众号 QbitAI DeepSeek 放大招！新模型专注数学定理证明，大幅刷新多项高难基准测试。在普特南测试上，新模型DeepSeek-Prover-V2直接把记录刷新到49 道。目前的第一名在 657 道题中只做出10 道题，为 Kimi 与 AIME2024