If DeepSeek releases a model named DeepSeekR2 or higher (e.g. DeepSeek R3) before May 1, 2025, then the market resolves to Yes. Outcome verified from Deepseek.
Release must be to the public, outside of a closed beta, though limiting it to a high-cost subscription tier is acceptable.