Minor changes to the name, such as using "V5" instead of "V4", are acceptable when determining the release.

To count as released, the model must be accessible to some people outside DeepSeek. if it's banned in the US but releases in China this market would still resolve YES. If it is available through some API only this counts as a release.

See also:

/Bayesian/when-will-openai-announce-o4 ‌‌

/Bayesian/when-will-openai-release-gpt45-ULpyUuqd2L ‌‌

/Bayesian/when-will-openai-release-an-open-so ‌

/Bayesian/when-will-deepseek-release-r2 ‌ ‌

/Bayesian/when-will-deepseek-release-v4 (this market)‌

/Bayesian/when-will-xai-release-grok-4 ‌