The deal gives Musk’s IPO-bound SpaceX a marquee customer as it looks to sell investors on its AI ambitions.