DeepSeek R2 released before May?

This market will resolve to "Yes" if the next DeepSeek R model is made available to the general public by April 30, 2025, at 11:59 PM ET. Otherwise, this market will resolve to "No." Intermediate versions (e.g., DeepSeek-R1.5) will not count, however versions such as DeepSeek R2 or R3 will count. For this market to resolve to "Yes," the next DeepSeek R model must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must be clearly defined and publicly announced by DeepSeek as being accessible to the general public. The "next DeepSeek R model" refers to the next major release in the DeepSeek R series, explicitly named as such or clearly positioned as a successor to DeepSeek-R1, the latest publicly known model as of January 2025. The primary resolution source for this market will be official information from DeepSeek, with additional verification from a consensus of credible reporting.