Grok 4.20 released by April 20?

This market will resolve to "Yes" if xAI's Grok 4.20 model is made available to the general public by the specified date, 11:59 PM ET. Otherwise, this market will resolve to "No." For this market to resolve to "Yes," Grok 4.20 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 xAI as being accessible to the general public. Grok 4.20 refers to a product explicitly named Grok 4.20, or one that is recognized as a successor to Grok 4.1 similar to the progression from Grok 4 to Grok 4.1. Products labeled as Grok 4.12 or similar will not count for this market's resolution. The primary resolution source for this market will be official information from xAI, with additional verification from a consensus of credible reporting.