[Dispute Over Polymarket's 'DeepSeek V4 Released on April 24' Due to Ambiguous Settlement Rules] Odaily Seer Prophet Channel monitoring shows that today, DeepSeek officially announced the release of a preview version of DeepSeek-V4. However, on Polymarket, the specific release date of DeepSeek V4 has entered three rounds of UMA dispute resolution. The reason lies in the settlement rules for this event, which state that only versions representing the core evolution of the DeepSeek V series and 'explicitly 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 if they are not positioned as the new flagship model of the V series. As a result, some opponents argue that the version released by DeepSeek today is the V4-Preview version, not the official V4. Therefore, 'DeepSeek V4 Released on April 24' should not settle as YES but rather as NO. Odaily Seer Prophet Channel will continue to monitor prediction markets, observing changes before pricing.