我要投稿

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

发布日期：2025-04-30 17:33:17 浏览次数： 2481 作者：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+中大型企业

相关资讯

2025-05-27

Dify工具插件开发和智能体开发全流程实战

2025-05-27

一个让工作效率翻倍的AI神器，Cherry Studio你值得拥有！

2025-05-27

Docext：无需 OCR，本地部署的文档提取神器，企业数据处理新选择

2025-05-26

太猛了，字节把GPT-4o级图像模型开源了！

2025-05-26

Qwen3硬核解析：从36万亿Token到“思考预算”

2025-05-26

蚂蚁集团开源antv的MCP服务：AI智能体与数据可视化的桥梁如何搭建？

2025-05-26

MinerU：高精度纸媒文档解析与数据提取一站式解决方案

2025-05-26

顶级开发者默默换掉了基础大模型

了解更多

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

立即咨询预约演示

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

2025-01-22

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

2025-01-22

热点资讯

Ollama 本地运行大模型(LLM)完全指南

2024-07-25

我把最近爆火的 DeepSeek-V3 接到了 Cursor！

2025-01-01

万字详解DeepSeek-R1，引爆AI圈的又一力作，大模型爆发势不可挡！

2025-01-21

太强了！10大开源大模型！

2024-05-06

QWEN2.5开源上新，14B/32B回归实测：这就是最强单卡本地模型！

2024-09-20

全民进入GPT-4时代：OpenAI强势推出GPT-4o mini！彻底取代GPT-3.5！

2024-07-20

如何免费使用 Claude AI？Claude使用指南！

2024-07-11

Qwen2 阿里最强开源大模型（Qwen2-7B）本地部署、API调用和WebUI对话机器人

2024-06-12

DeepSeek-V3 正式发布

2024-12-26

开源项目Composio：突破 AI 智能体开发的边界

2024-08-13

大家都在问

蚂蚁集团开源antv的MCP服务：AI智能体与数据可视化的桥梁如何搭建？

2025-05-26

拆解OpenAI最大对手的杀手锏：为什么会是MCP？

2025-05-25

从基础大模型到场景适配，企业如何做好商业化最后一公里？

2025-05-23

AI 开源框架：Dify、Zylon、AutoGPT、Flowise、LangChain、React-Flow怎么选？

2025-05-17

刚刚，OpenAI丢出最强编程智能体Codex！倒反天罡——新上线功能竟是微软Copilotb鼻祖？

2025-05-17

刚刚，OpenAI发布自主编码代理Codex，程序员的工作将被彻底颠覆？

2025-05-17

告别谷歌！阿里开源ZeroSearch大模型搜索成本直降88%，性能竟超原版？

2025-05-16

事实证明千问qwen3小模型才是企业的生产力，他究竟能做什么呢？

2025-05-14

热门标签

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