DeepSeek's V4-Pro 'official' release may have already quietly launched

DeepSeek's official API documentation has quietly changed the model version from plain DeepSeek-V4-Pro to DeepSeek-V4-Pro-0813 — a small edit that hints the formal release may already be switching over. The API call name remains deepseek-v4-pro, the context window is still 1M, max output sits at 384K, and the Responses API is now marked as supported in the docs.