搜索
DeepSeek新数学模型刷爆记录 7B小模型自主发现671B模型不会的新技能
2025-05-02
DeepSeek推出新模型DeepSeek-Prover-V2，专注于数学定理证明，并在多项高难度基准测试中刷新记录。在普特南测试中，DeepSeek-Prover-V2解决了49道题，远超当前第一名的10道题。该第一名由Kimi与AIME2024冠军团队Numina合作的成果Kimina-Prover取得。DeepSeek-Prover-V2的卓越表现展示了其在数学定理证明方面的强大能力。
