Background DeepSeek is an AI company known for developing large language models, including DeepSeek-V2.5 and their multimodal LLM Janus. They have demonstrated a pattern of iterative model releases and improvements, competing with other major AI companies in the development of advanced language models.

Resolution Criteria This market will resolve YES if DeepSeek publicly releases, or makes generally available (either commercially or for research), a model that is branded or named as "DeepSeek V3" or "DeepSeek-V3" or is named a successor by March 31, 2025, 23:59:59 UTC.

The market will resolve NO if:

• No such model is released by the deadline

• DeepSeek explicitly releases a different model series or version (e.g., V2.6, V2.7)

• DeepSeek ceases operations or is acquired before releasing V3

Considerations

• DeepSeek has publicly announced they are working on V3 but no timeline has been released.

• Model naming conventions can vary; A model can be named differently, if DeepSeek explicitly releases a successor to the DeepSeek family called Metis V1 (or any other name), this market will resolve YES