我要投稿
微信搜一搜，关注“AgenticAI”
DeepSeek-Prover-V2-671B 悄然上线，或为 R2 铺路？这款新模型的神秘面纱即将揭开。 核心内容： 1. DeepSeek-Prover-V2-671B 的神秘上线与参数规模 2. V1.5 的历史与创新亮点回顾 3. V2 上线对 DeepSeek R2 的潜在影响与未来展望
五一没等来 DeepSeek R2，DeepSeek 却悄悄放出了一个超级炸裂的新模型：DeepSeek-Prover-V2-671B！这究竟是什么？对 DeepSeek 的未来又意味着什么？
时间回到 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 主要亮点：
一句话总结：不仅懂语言，还会“思考”怎么去证明！
虽然官方暂未公布论文或细节，但从模型命名「V2」以及参数规模「671B」来看，这或许是 DeepSeek 正在为 R2 做能力验证或预热。
回顾 V1.5 的定位，它更多是面向形式化定理证明这个细分领域。而 V2 的上线，很可能意味着：
DeepSeek-Prover-V2-671B 目前已在 HuggingFace 上架，但尚未大张旗鼓地宣传。 这款“隐秘发布”的模型，也许正是 DeepSeek R2 前夜的“预告片”。
HuggingFace 地址：https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B，速度围观！
R2 没来，但 Prover-V2 先行。下一步，值得期待的，不只是更强的模型，而是语言智能在“思维”与“证明”之间的那条路。
53AI，企业落地大模型首选服务商
产品：场景落地咨询+大模型应用平台+行业解决方案
承诺：免费场景POC验证，效果验证后签署服务协议。零风险落地应用大模型，已交付160+中大型企业
2025-06-14
从天价咨询到免费AI，夸克能改变志愿填报这门生意吗？
2025-06-14
开源破局，中国AI正在改写全球竞争格局！
2025-06-13
MinerU-利用专用LLM模型提取PDF内容的工具实测
2025-06-13
官宣|Milvus 2.6正式开源：内存减少 72%，速度比ES快4倍
2025-06-13
CoCo：全球首个“有记忆”的企业级AI Agent
2025-06-13
OpenAI 三连更：Team 上线 o3-pro、o3 额度翻倍、Projects 大升级！
2025-06-13
Manus免费版来了！两大核心更新功能实测
2025-06-13
[开源]RAGFlow: 基于深度文档理解的开源RAG引擎
2025-03-19
2025-03-19
2025-03-17
2025-04-01
2025-04-01
2025-04-13
2025-04-29
2025-03-19
2025-03-23
2025-03-22
2025-06-14
2025-06-10
2025-06-08
2025-05-28
2025-05-28
2025-05-26
2025-05-25
2025-05-23
回到顶部
粤ICP备17114055号