Elon Musk just made his ChatGPT rival Grok open-source