SpaceX buys AI tool maker Cerser