DeepSeek 发布 V4-Pro-0813 正式版，性能大幅提升

DeepSeek 于 2026 年 8 月 13 日发布 DeepSeek-V4-Pro-0813，这是 V4-Pro 的正式版本，取代预览版，并新增 DSpark 推测解码模块。据官方基准，该模型在多项测试中优于预览版，如 HLE 达 42.7/60.0，Terminal Bench 2.1 达 87.9，与最强闭源模型竞争。

相比预览版，DeepSeek-V4-Pro-0813 在代理能力、基准测试上有显著提升，尤其在终端任务、软件工程等场景，表明 DeepSeek 在 Agent 领域取得进展，对依赖大模型的工具类产品构成竞争压力。

该模型基于预览版结构，增加 DSpark 推测解码模块，可能在推理时通过草稿模型加速生成，同时提升端到端性能。基准显示其综合能力与最强闭源模型接近，可能得益于训练优化或架构调整。

对依赖编码、Agent 或复杂任务的企业，该模型可能降低对外部高价模型的依赖，提升任务自动化成功率，并降低推理延迟。但正式版与预览版差异未明确，迁移需评估。

• 评估将 DeepSeek-V4-Pro-0813 集成到内部 Agent 流水线，替换高成本闭源模型，以提升终端任务处理能力并降低调用成本。
• 针对软件开发场景，试用其 NL2Repo 能力，构建代码仓库生成或重构工具，缩短研发周期。
• 在客户支持或运维自动化中测试 Terminal Bench 表现，用于提高命令行任务执行成功率。

• DSpark 推测解码模块的技术细节和实际推理速度提升幅度未公开。
• 模型的具体参数规模、开源授权和部署成本未在证据中提及。
• 基准测试的复现方法和中英文环境表现是否一致尚未确认。