DeepSeek-Prover-V2，通过强化学习推进子目标分解的形式数学推理，Prover-V2是一个用于自动定理证明的模型，它可以理解数学问题，并用Lean 4生成证明，也是首个用RL实现数学证明垂直场景的模型。

DeepSeek-Prover-V2，通过强化学习推进子目标分解的形式数学推理插图

Github地址：https://github.com/deepseek-ai/DeepSeek-Prover-V2

模型下载地址：https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B



微信扫描下方的二维码阅读本文

DeepSeek-Prover-V2，通过强化学习推进子目标分解的形式数学推理插图1

声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。