DeepSeek 发布官方 V4-Pro-0813 模型
先了解这件事
DeepSeek 发布了 DeepSeek-V4-Pro-0813，这是取代 V4-Pro 预览版的正式版本。它保持相同的模型结构，但新增了 DSpark 投机解码模块。DeepSeek 报告称，在智能体基准测试上相较预览版有大幅提升：Terminal Bench 2.1（87.9 对 72.1）、DeepSWE（62.7 对 12.8）和 NL2Repo（61.5 对 38.5），并表示该模型与最强的专有模型相比具有广泛竞争力。 该版本发布时未附带 Jinja 聊天模板，而是提供了一个编码文件夹。reasoning_effort 参数现在有 low、high 和 max 三个级别，用于控制模型在回答前进行多少思考；DeepSeek 建议 high 和 max 级别的最大输出长度为 384K tokens。权重采用 MIT 许可证，并记录了 vLLM 和 SGLang 的启动命令。
AI 根据报道生成 · 13 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
- Hacker News · AI精选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 的启动命令。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。