Downloads have fallen from 20m in January to 8.3m in April, paid conversion is a fifth of ChatGPT’s, the $0.42-per-agency GSA deal is now stalled, and SpaceX has rented out the Memphis Colossus 1 cluster to Anthropic for $1.25bn a month.

SpaceX’s S-1 filed on Tuesday rests on an AI-revenue line Grok is no longer obviously delivering.

Grok is not selling in Washington, and on Thursday it became Wall Street’s problem. Reuters reported that Elon Musk’s xAI chatbot has failed to convert its September 2025 GSA OneGov agreement into the kind of federal-agency adoption that competitors OpenAI and Anthropic are now operationalising.

Only three days after SpaceX filed an S-1 prospectus in which the company’s AI-revenue line is positioned as the growth engine underwriting what would be the largest IPO in history.

The consumer-side numbers are sharper still. Grok downloads falling to about 8.3 million in April from a January high above 20 million.