xAI Folds into SpaceX as SpaceXAI; Grok 5 (6T-MoE) and Grok Build 0.1 Coding Agent Announced

The SpaceXAI consolidation, dated to May 6 and now reflected in the SpaceX IPO prospectus, restructures Musk's AI assets under a single banner that unifies training data across X social signals and Tesla FSD video footage. Pitchbook coverage of the prospectus called the financials 'reckless' on CapEx — but as today's Anthropic news shows, the $1.25B/month Colossus contract provides a major offset. The SpaceX IPO will be the first time public investors get to underwrite Musk's combined AI thesis.
Grok 5 is the eye-catching number: 6 trillion parameters as a mixture-of-experts model, trained on X and Tesla FSD data, with a 10T variant reportedly in parallel training. Musk's 'Grok-5 is AGI' framing was met with intense skepticism — prediction markets give only 33% odds of Q2 shipping per Fintech Weekly, and that meme dominated AI Twitter this week. SpaceX risk-factor disclosures separately flagged 'spicy mode' / NSFW capabilities as a corporate-reputation concern, per Business Insider.
The more concrete release is Grok Build 0.1: a fast coding model trained for agentic software engineering, supporting text + image inputs, with a 256K context window and no text output cap. It powers the Grok Build CLI and is positioned head-on against Claude Code, Codex, and Gemini's Spark/Antigravity stack. xAI also opened Grok subscription access inside the open-source-style openclaw client, expanding distribution beyond X.
What to watch: whether Grok Build 0.1 hits real coding-agent leaderboards (SWE-bench, terminal-bench) rather than just demos; whether Grok 5 actually ships in Q2 (prediction markets say probably not); and whether SpaceX investors price xAI as a strategic asset or a drag at IPO. The Karpathy-joins-Anthropic news (r/ClaudeAI, 5,948 upvotes) is the talent-flow signal cutting the other direction.