Due to ambiguity in the settlement rules, the announcement of "DeepSeek V4 released on April 24" on Polymarket has become embroiled in a controversial ruling.

Odaily Seer's monitoring shows that while DeepSeek officially announced the release of a preview version of DeepSeek-V4 today, the specific release date of DeepSeek V4 on Polymarket has become embroiled in three rounds of UMA (User-Managed Market) disputes. The reason is that the settlement rules for this event state that only versions representing the evolution of the core DeepSeek V series and "clearly positioned as the successor to DeepSeek-V3" qualify. Other models, such as derivative models (e.g., "V4-Lite," "V4-Mini"), task-specific models, R-series inference models, and experimental or preview versions (e.g., "V4-Exp," "V4-Preview"), do not qualify unless they are positioned as the new flagship V-series model. Therefore, some opponents believe that DeepSeek officially released the V4-Preview version today, not the official V4, and that "DeepSeek V4 will be released on April 24th" should not be settled as "Yes," but rather "No." Odaily Seer continues to monitor the prediction market, seeing changes before pricing.