DeepseekDeepSeek V4 Pro 0813 is the official release of DeepSeek V4 Pro, superseding the preview version, with greatly enhanced agentic capabilities and performance improvements that are especially pronounced in production environments. It is built on the DeepSeek V4 Pro (Preview) model structure, with a DSpark speculative decoding module attached. The model natively supports a 1M-token context window and flexible reasoning effort: low for simple tasks, high for daily agent workflows, and max for complex ones.