Next DeepSeek Pro released by...?

This market will resolve to "Yes" if DeepSeek's next Pro 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 "Pro," and be a new model release designated as newer than DeepSeek-V4-Pro-0813, 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-Pro-0813, a decimal increase such as DeepSeek-V4.1-Pro, or a new generation such as DeepSeek-V5-Pro would qualify, while side or specialized models, such as Janus-Pro or DeepSeek-OCR, or models which are not newer releases than DeepSeek-V4-Pro-0813, such as DeepSeek-V4-Flash or the existing DeepSeek-V4-Pro-0813, will not qualify. A qualifying release must carry a new, distinct model identifier or date designation; updates published under an unchanged identifier will not qualify. If DeepSeek releases a single unified successor without tier naming, it will qualify if it replaces or serves DeepSeek's flagship endpoint or is positioned as DeepSeek's flagship model. … (condensed)