DeepSeek新数学模型刷爆记录7B小模型自主发现671B模型不会的新技能
DeepSeek新数学模型刷爆记录!7B小模型自主发现671B模型不会的新技能 梦晨2025-05-0113:10:55 来源: 通过强化学习发现新技能 梦晨 西风 发自 凹非寺 | DeepSeek放大招!新模型专注数学定理证明,大幅刷新多项高难基准测试。在普特南测试上,新模型DeepSeek-Prover-V2直接把记录刷新到49道。目前的第一名在657道题中只做出10道题