DeepSeek 發布官方 V4-Pro-0813 模型
先了解這件事
DeepSeek 發布 DeepSeek-V4-Pro-0813，這是取代 V4-Pro 預覽版的正式版本。它維持相同的模型結構，但新增了 DSpark 推測解碼模組。DeepSeek 表示，在 agentic 基準測試上，它相較於預覽版有大幅提升：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 三個等級，用來控制模型在回答前進行多少思考；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 的啟動指令。
本事件熱度走勢
還沒有足夠的連續觀測資料，暫不繪製趨勢。