发布即巅峰、一月即退役V4 Pro 是 DeepSeek 的过渡性弃子吗【免费下载链接】DeepSeek-V4-Pro-0813项目地址: https://ai.gitcode.com/hf_mirrors/deepseek-ai/DeepSeek-V4-Pro-08132026 年 8 月中旬的一个深夜DeepSeek 静悄悄地在 Hugging Face 上挂出了 DeepSeek-V4-Pro-0813 的权重。没有发布会没有直播只有随后几天媒体铺天盖地的深夜突袭式评测DeepSWE 62.7、Terminal Bench 87.9、多项智能体基准逼近 Anthropic Fable 5——一个发布即巅峰的旗舰模型以最戏剧性的方式登场。然而巅峰只维持了三十一天。9 月 14 日官方宣布 V4 Pro 服务下线同日登场的 V4.1 Flash 被媒体冠以全面超越 V4 Pro的标题。从发布到退役恰好一个月过渡性弃子的质疑随之而来一个刚刚被全网捧上神坛的模型究竟是被内部判了死刑还是 DeepSeek 一次精心设计的试水只来了一半的发布巅峰与争议同时到达要理解 V4 Pro 的一月寿命先要看清楚它发布时的姿态。这个仓库本身就是最好的证据——目录名DeepSeek-V4-Pro-0813一个带日期戳的版本号官方定位是superseding the preview version取代预览版并在 README.md 中明确写道它是在 DeepSeek-V4-ProPreview结构基础上额外挂载了 DSpark 推测解码模块的正式发布版。所谓的巅峰在 README.md 的基准表里可以逐行验证。与预览版相比0813 的提升几乎是跨越式的基准V4-Pro-0813V4-Pro (Preview)DeepSWE62.712.8Terminal Bench 2.187.972.1NL2Repo61.538.5Cybergym83.352.7AutomationBench31.812.8其中 DeepSWE 从 12.8 飙到 62.7暴涨近五倍——这正是后训练优化显著提升长链路代码执行与工具调用性能的量化注脚也让逼近 Fable 5的媒体报道有了数据背书Fable-5 的 Cybergym 为 83.10813 的 83.3 甚至反超Toolathlon 74.1 对 77.9差距也在毫厘之间。但巅峰的另一面是争议。头条上的社区情报直言不讳DeepSeek 新大模型综合得分仍落后于 Kimi K3比较接近于 Grok 4.6——对照基准表Kimi K3 在 DeepSWE67.5、Terminal Bench88.3、Toolathlon76.5上确实全面压过 0813。只来了一半的观感则来自几个维度的残缺阵容只来了一半V4 全系列中只有 Pro 拿到了正式版权重Flash 仍是 0731 版本形态只来了一半纯文本、无多模态这在 2026 年的旗舰阵营里显得另类成本只来了一半媒体口径中 V4 Pro 定价为 Flash 版的三倍而 Flash 主打免费性价比叙事与旗舰定位互相拉扯。于是我们看到一幅奇特的画面技术上它是 DeepSeek 迄今最强的开源模型商业上它却是最贵、最不完整、最短命的一个。这两个事实放在一起就是弃子质疑的起点。三十一天弃子还是试水弃子论最硬核的证据是那条时间线4 月底V4 ProPreview、V4 FlashPreview上线社区涌现出大量 Claude Code、CodeBuddy、阿里云百炼接入教程生态适配刚刚铺开7 月 24 日旧旗舰deepseek-chat、deepseek-reasoner正式退役用户被迫向 V4 系列迁移8 月中旬V4 Pro 正式版 0813 深夜发布全网评测逼近 Fable 59 月 14 日V4 Pro 服务下线——而且是推迟到 9 月 14 日下线说明原计划更早因为用户迁移需求才延后同一天V4.1 Flash 发布被凤凰科技评价为全面超越 V4 Pro。用户刚花两个月从旧模型迁到 V4 Pro一个月后又要迁往 V4.1。此前 CSDN 上大量关于deepseek-v4-pro 是唯一合法模型名的避坑文章瞬间变成过期文档——这种刚教会你怎么用转身就下架的体验确实伤害开发者信任。但把时间线拉平再看这更像一次有节奏的阶梯式试水而非弃子。三个细节值得注意其一版本号本身就是迭代的宣言。0813、0731 这类日期戳命名暴露出 DeepSeek 根本无意把 V4 Pro 当作长命旗舰经营——它就是 V4 时代的一个中间快照。这与 config.json 中满屏的新机制形成呼应384 个路由专家、每 token 激活 6 个的稀疏 MoE、1048576 token 的 YaRN 扩展上下文、num_hash_layers: 3的哈希检索层、hc_mult: 4的 Sinkhorn 路由加上 FP8 权重e4m3与 FP4 专家双量化——这一整套实验性技术栈本身就是为下一代验证铺路的形态。其二DSpark 才是 0813 真正的大招。爱范儿在评测中提到还藏了一个大招指的就是 DSpark 推测解码。在 config.json 中可以看到它的完整配置dspark_block_size: 5、dspark_target_layer_ids: [58, 59, 60]、dspark_markov_rank: 512、dspark_noise_token_id: 128799——用最后三层输出拼接马尔可夫头与置信度头在同一份权重内完成自推测解码vLLM 只需一行--speculative-config {method:dspark,...}即可开启SGLang 则对应--speculative-algorithm DSPARK。让旗舰级大模型在 README.md 建议的 4×GB300 节点上以自带草稿模型的形式加速这个能力在 9 月的 V4.1 中显然是被继承而非抛弃的。其三推迟下线恰恰证明它有用户。一个没有用户价值的模型不需要推迟退役日期。9 月 14 日的延期是真实迁移成本逼出来的也是试水成功的间接证据——如果 V4 Pro 的智能体路线DeepSWE 62.7 背后的工具调用、长链路执行能力没有价值DeepSeek 完全没有必要给它多留两周生命。过渡产品路线品牌损失还是护城河加固一个月就退役的旗舰对品牌到底意味着什么从短期看损失是肉眼可见的开发者教程过期、模型标识符作废多个 CSDN 实战文章都强调deepseek-v4-pro 是唯一合法模型名、用户被迫二次迁移。但 DeepSeek 的回应方式很特别——它把退役定义成仓库依然在。本仓库以 MIT 协议完整开放了全部 66 个 safetensors 分片权重与模型索引并且不是只丢权重了事encoding/目录提供了从 OpenAI 兼容消息到模型输入字符串的完整编解码实现encoding/encoding_dsv4.py支持 thinking/chat 双模式、DSML 工具调用标记、low/high/max三档推理力度——high档的前缀文案Reasoning Effort: Absolute maximum...与max档的Beyond maximum在 encoding/README.md 中逐字可查inference/目录则是完整的自研推理栈从 inference/convert.py 的权重转换、inference/generate.py 的单机/多节点生成到 inference/model.py 中基于 tilelang 手写的 FP8/FP4 kernelinference/kernel.py再到哈希索引注意力与 Sinkhorn 路由的实现。换言之API 下线了但模型以可白盒调试、可私有部署的形态永久留在了开源生态里。这正是 DeepSeek 护城河叙事的核心。头条情报里那句DeepSeek 的护城河似乎仍是性价比放在这个仓库里有了更具体的含义以价格屠夫身份吸引开发者把工作流迁移过来Flash 免费、Pro 三倍价以 MIT 开源和完整推理栈降低私有部署门槛再以 DeepSeek Harness 的发布V4 全系列上线后开放测试的官方 Agent 框架把开发者锁定进自己的评测与工具生态。模型的个体生命周期被压缩到一个月恰恰说明 DeepSeek 卖的从来不是某个模型而是持续迭代的开源体系——V4 Pro 的 31 天只是这条流水线上最贵的一个测试批次。回到最初的问题V4 Pro 是过渡性弃子吗答案是——它是弃子但这是策略性的弃子。从发布时机深夜突袭、只为抢在竞品密集发布期之前到版本命名日期戳从技术选型DSpark、哈希检索、FP4 专家这些为下一代铺路的能力到退役节奏主动让位给全面超越的 V4.1每一步都指向同一个判断DeepSeek 早已把 V4 Pro 定义为一枚测试弹它的任务不是长销而是以最快的速度、最真实的用户流量验证智能体增强 推测解码这条技术路线是否成立。对于一家以迭代速度和性价比为生命线的公司一月旗舰不是失败的象征而是它最擅长的作战方式——巅峰是用来超越的不是用来驻留的。【免费下载链接】DeepSeek-V4-Pro-0813项目地址: https://ai.gitcode.com/hf_mirrors/deepseek-ai/DeepSeek-V4-Pro-0813创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考