Elon Musk's Grok AI will beat ChatGPT handily.