我要投稿

速报！DeepSeek-Prover-V2-671B 悄然上线，或为 R2 铺路？

发布日期：2025-04-30 17:33:17 浏览次数： 3373

作者：AgenticAI

微信搜一搜，关注“AgenticAI”

五一没等来 DeepSeek R2，DeepSeek 却悄悄放出了一个超级炸裂的新模型：DeepSeek-Prover-V2-671B！这究竟是什么？对 DeepSeek 的未来又意味着什么？

它的前身：DeepSeek-Prover-V1.5

时间回到 2024 年 8 月，DeepSeek 发布了论文 ? DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search^[1]

同时还开源了对应的基座模型：DeepSeek-Prover-V1.5-Base^[2]。

V1.5 主要亮点：

✅ 融合 监督微调 + 强化学习 + 改进版 MCTS（蒙特卡洛树搜索）
✅ 提出了创新的截断与恢复机制，大幅提升模型在复杂推理任务中的表现
✅ 强调“内在奖励驱动的探索”，推动语言模型在形式化数学证明中的应用边界
✅ 多项指标全面超越前代最佳模型

一句话总结：不仅懂语言，还会“思考”怎么去证明！

那 Prover-V2 是什么？

虽然官方暂未公布论文或细节，但从模型命名「V2」以及参数规模「671B」来看，这或许是 DeepSeek 正在为 R2 做能力验证或预热。

回顾 V1.5 的定位，它更多是面向形式化定理证明这个细分领域。而 V2 的上线，很可能意味着：

DeepSeek 在复杂推理能力方面又迈出了一大步
有望将 证明型智能 融入更大规模通用模型中
R2 的「思维深度」可能远超我们此前的预期

小结

DeepSeek-Prover-V2-671B 目前已在 HuggingFace 上架，但尚未大张旗鼓地宣传。这款“隐秘发布”的模型，也许正是 DeepSeek R2 前夜的“预告片”。

HuggingFace 地址：https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B，速度围观！

R2 没来，但 Prover-V2 先行。下一步，值得期待的，不只是更强的模型，而是语言智能在“思维”与“证明”之间的那条路。

53AI，企业落地大模型首选服务商

产品：场景落地咨询+大模型应用平台+行业解决方案

承诺：免费POC验证，效果达标后再合作。零风险落地应用大模型，已交付160+中大型企业

相关资讯

2026-06-16

26.1%的AI编程技能有漏洞：NVIDIA开源 SkillSpector 能扫出什么？

2026-06-12

当 AI Coding Agent 成为基础设施：我们为什么要开源 LoongSuite Pilot

2026-06-09

CPU 跑得比 Whisper GPU还快的开源语音识别，本地部署

2026-06-09

别再问我什么是爱马仕！

2026-06-09

Open Design：开源界的 Claude Design 替代品，61.7K Star，21+ Agent 都能跑，本地第一

2026-06-08

我开源了 PPT-Library：让历史 PPT 变成 AI 可复用资产

2026-06-08

knowledge-work-plugins：Anthropic 官方开源的知识工作插件集，19,000+Star

2026-06-08

从搜索、点击、表单填写到复杂网页操作，让 AI 像人一样使用浏览器

联系获取

160+中大型企业正在使用53AI

立即咨询预约演示

把握AI发展的机遇，共同探索、共同进步

2025-01-22

如何打造基于GenAI的员工服务机器人

2025-01-22

热点资讯

Hermes Agent 出来了，聊聊它凭什么跟 OpenClaw 掰手腕

2026-03-30

很多人突然不玩小龙虾而用Hermes Agent了。我替你试了，跟小龙虾到底有啥不同？

2026-04-09

Google Gemma 4 开源｜全面解读

2026-04-03

字节跳动开源 DeerFlow 2.0：下一代超级 Agent 引擎，一键搞定复杂工作流！

2026-03-23

震惊！刚刚，Anthropic掀了桌子：OpenClaude横空出世，大模型闭源时代彻底终结？

2026-04-01

刚刚，Claude Code开源了！51万行代码，全网狂欢

2026-03-31

龙虾绝配：Qwen 3.5 27B！跑在家里，成本为 0

2026-03-30

Ollama 本地部署 Gemma 4 完全指南

2026-04-18

Google Gemini CLI 完整使用指南

2026-04-18

ollama v0.18.2 发布！OpenClaw 安装优化、Claude 加速、MLX 量化全面升级

2026-03-20

大家都在问

26.1%的AI编程技能有漏洞：NVIDIA开源 SkillSpector 能扫出什么？

2026-06-16

企业级 AI Agent 为什么集体转向“基座 + Skills”？

2026-05-30

Hermes Agent 深度解析：为什么它能“越用越懂你”？

2026-05-16

百度把Nano Banana塞进4090，疯了？

2026-04-22

Kimi K2.6 开源了！还附送了 300 个 Agent 员工？

2026-04-21

Hermes 凭什么两个月接棒 OpenClaw？

2026-04-15

很多人突然不玩小龙虾而用Hermes Agent了。我替你试了，跟小龙虾到底有啥不同？

2026-04-09

震惊！刚刚，Anthropic掀了桌子：OpenClaude横空出世，大模型闭源时代彻底终结？

2026-04-01

热门标签

内容创作大模型技术个人提效 langchain llamaindex 多模态技术 RAG技术智能客服知识图谱模型微调 RAGFlow coze Dify Fastgpt Bisheng Qanything AI+汽车 AI+金融 AI+工业 AI+培训 AI+SaaS Skill 提示词技巧 AI+电商 AI面试数字员工 ChatBI AI知识库开源大模型智能营销智能硬件 FDE AI+医疗 MaxKB Palantir Glean Openclaw