Grok 4 released by September 30?

This market will resolve to "Yes" if xAI's Grok 4 model is made available to the general public by September 30, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No." For this market to resolve to "Yes," Grok 4 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 Anthropic as being accessible to the general public. Grok 4 refers to a product explicitly named Grok 4 (e.g. Grok 4.0 would count), or one that is recognized as a successor to Grok 3, similar to the progression from Grok 2 to Grok 3. Products labeled as Grok 3.5 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.