Elon Musk’s artificial-intelligence model, Grok, lags far behind its fast-growing competitors—and an agreement by parent company SpaceX to rent massive computing power to Anthropic raises questions ...