DeepSeek 发布 V4-Pro-0813，采用 DSpark 推测解码，智能体基准测试表现更强

DeepSeek 发布了 DeepSeek-V4-Pro-0813，这是取代 V4-Pro 预览版的正式版本，基于相同的模型结构，并新增了 DSpark 推测解码模块。该公司报告称，在包括 Terminal Bench 2.1（87.9 对 72.1）、DeepSWE（62.7 对 12.8）和 NL2Repo（61.5 对 38.5）在内的基准测试中，该版本相较预览版有所提升，并表示该模型与最强的专有模型相比具有广泛竞争力。该版本未附带 Jinja 聊天模板，而是提供了一个 encoding 文件夹，并为 reasoning_effort 参数新增了 low、high 和 max 三个级别；权重采用 MIT 许可证，并记录了 vLLM 和 SGLang 的启动命令。