Elon Musk’s AI company, xAI, launches an API for Grok 3