DeepSeek V4 released by May 15?

This market will resolve to "Yes" if the next DeepSeek V model is made available to the general public by May 15, 2026, at 11:59 PM ET. Otherwise, this market will resolve to "No." Intermediate versions (e.g., DeepSeek-V3.5) will not count; however, versions such as DeepSeek V4 or V5 would count. The "next DeepSeek V model" refers to the next major release in the DeepSeek V series, explicitly named as such or clearly positioned as a successor to DeepSeek-V3. Only releases representing a core