SpaceX's AI business is revealing its progress in using Grok to handle customer support for the satellite internet service.