不是 R2，不是 V4，DeepSeek 却悄悄放了个 6710 亿参数的狠活
DeepSeek 发布了一个专注于数学证明和复杂推理的新模型 DeepSeek-Prover-V2-671B，它是目前全球最大规模的数学定理证明模型。该模型在多个数学评测数据集上表现出色，可应用于数学论文验证、教材开发及数学研究助理等场景。
88.9%
DeepSeek开源最新大模型，数学能力大突破！
DeepSeek开源了V2数学大模型，参数量分别为671B和7B，在MiniF2F测试中的通过率为88.9%，在ProverBench中包含325个问题的评估集。
DeepSeek「五一礼包」来了！新开源模型数学推理能力大提升｜附实测细节
DeepSeek 推出 DeepSeek-Prover-V2，支持最长32K上下文输入。基于递归加强化学习的组合训练，新模型在MiniF2F测试中实现88.9%通过率，覆盖高中到本科多个数学领域。