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 的啟動指令。