Elon Musk launches ‘Grok’ AI chat bot to rival ChatGPT