Next DeepSeek Flash released by...?

This market will resolve to "Yes" if DeepSeek's next Flash model is made available to the general public between market creation and the specified date (ET). Otherwise, this market will resolve to "No". A qualifying model must be part of DeepSeek's core model series (currently the V-series), have a name or model identifier that includes "DeepSeek" and "Flash," and be a new model release designated as newer than DeepSeek-V4.1-Flash-1017, regardless of capitalization or naming convention, including subsequently dated builds, decimal version increases, or new generations. For example, a later dated build named in the same manner as DeepSeek-V4.1-Flash-1017, a decimal increase such as DeepSeek-V4.2-Flash, or a new generation such as DeepSeek-V5-Flash would qualify, while side or specialized models, such as Janus-Pro, DeepSeek-OCR, or DeepSeek-V4-Flash-Vision-Exp, Pro-tier models such as DeepSeek-V4-Pro-0813 or DeepSeek-V4.1-Pro, and the existing DeepSeek-V4.1-Flash-1017 (released October 17, 2026), including any open-weight re-release, snapshot, or re-pointing of the deepseek-flash API alias to it, will not qualify. A qualifying release must carry a new, distinct model name or date designation, even if it is served through an unchanged API alias such as deepseek-flash; updates published without a new model name or date designation will not qualify. … (condensed)