DeepSeek releases DeepSeek-V4-Pro-0813 with stronger agentic benchmark results
Original titledeepseek-ai/DeepSeek-V4-Pro-0813
AISummary
DeepSeek has released DeepSeek-V4-Pro-0813 as the official version superseding the V4-Pro preview, built on the preview structure with a DSpark speculative decoding module. The model scores higher than the preview on the listed benchmarks, including Terminal Bench 2.1 at 87.9 and DeepSWE at 62.7, and the weights are under the MIT License.
AIWhy it matters
The release reports agent benchmark gains over the preview and lists vLLM and SGLang setup, useful for judging deployment cost and fit.
Source: DeepSeek · new models on Hugging Face · huggingface.co