人工智能行业DeepSeek开源Prover-V2强推理模型：递归强化学习提升数学能力-250508-中信建投

报告摘要

1. 4 月 30 日，DeepSeek 在 Hugging Face 上发布名为 DeepSeekProver-V2-671B 的新模型，此模型是专为“数学 A I 推理 ”中的形式化定理证明打造的开源大语言模型，目前在定理证明 yufangbo@csc.com.cn

核心要点

一、行业变化
658 道题中的 49 道，在 AIME 24、25 上也取得较高分数。

报告信息

文件全名: 《人工智能行业DeepSeek开源Prover-V2强推理模型：递归强化学习提升数学能力-250508-中信建投-10页.pdf》
适合读者: 战略规划行业研究员
核心数据: DeepSeek-Prover-V2-671B 在 MiniF2F 测试中达到了 88.9% 的通过率，并成功解决了 PutnamBench 数据集中
蒸馏，团队将 671B 模型的数学推理能力高效迁移至 7 B 轻量
本报告由中信建投证券股份有限公司在中华人民共和国（仅为本报告目的，不包括香港、澳门、台湾）提供。
在冷启动过程中，首先通过分层推理引导，提示引导 DeepSeek-V3 将复杂数学命题拆解为高层次的证明草图，
并在此过程中同时将这些推理步骤用 Lean 4 语言形式化，最终生成一系列结构清晰、逻辑严密的子目标。
核心议题: 大模型大语言模型语言模型自然语言处理

常见问题

《人工智能行业DeepSeek开源Prover-V2强推理模型：递归强化学习提升数学能力-250508-中信建投》主要包含哪些内容?

1. 4 月 30 日，DeepSeek 在 Hugging Face 上发布名为 DeepSeekProver-V2-671B 的新模型，此模型是专为“数学 A I 推理 ”中的形式化定理证明打造的开源大语言模型，目前在定理证明 yufangbo@csc.com.cn核心数据:DeepSeek-Prover-V2-671B 在 MiniF2F 测试中达到了 88.9% 的通过率，并成功解决了 PutnamBench 数据集中;蒸馏，团队将 671B 模型的数学推理能力高效迁移至 7 B 轻量;本报告由中信建投证券股份有限公司在中华人民共和国（仅为本报告目的，不包括香港、澳门、台湾）提供。。

这份报告由哪家机构发布?

本报告由中信建投发布,发布于 2025 年。

这份报告覆盖哪一年、篇幅多大?

覆盖 2025 年,全文约 10。

这份报告是免费的吗?如何获取?

本报告免费查阅,登录资料宝后即可在线获取完整内容。

这份报告适合哪些读者?

适合战略规划、行业研究员等读者参考。

报告涉及哪些关键议题?

重点分析了大模型、大语言模型、语言模型、自然语言处理等议题。