DeepSeek appears to have quietly shipped V4-Pro-0813

DeepSeek-V4-Pro's official version appears to be live — and the switch may already be underway. The company's API documentation has quietly changed the model version from DeepSeek-V4-Pro to DeepSeek-V4-Pro-0813. The API call name remains deepseek-v4-pro, with a 1M token context window and 384K maximum output tokens. The Responses API is now marked as supported as well.