深夜突袭，DeepSeek-Prover-V2加冕数学！671B数学推理逆天狂飙 DeepSeek发布数学推理模型DeepSeek-Prover-V2，包含7B和671B两个参数版本。该模型采用"递归+强化学习"训练方法，在MiniF2F测试集上达到88.9%通过率，解决了PutnamBench中的 DeepSeek-Prover-V2 2025年05月07日 197 点赞 2 评论 298 浏览
