Musk lancia Grok 3: la nuova sfida a OpenAI e DeepSeek