DeepSeek has announced the release of the preview version of DeepSeek-V4. According to Odaily, this announcement has led to a dispute on Polymarket regarding the official release date of DeepSeek V4, resulting in three rounds of UMA arbitration.

The controversy stems from the settlement rules, which specify that only versions representing the core evolution of the DeepSeek V series and clearly positioned as successors to DeepSeek-V3 are eligible. Other models, such as derivative models like 'V4-Lite' and 'V4-Mini', task-specific models, R series inference models, and experimental or preview versions like 'V4-Exp' and 'V4-Preview', do not qualify unless they are positioned as new flagship models of the V series.

Opponents argue that the version released today is the V4-Preview, not the official V4, and therefore the statement 'DeepSeek V4 was released on April 24' should be settled as NO instead of YES.