JUST IN: Elon Musk's xAI officially launches Grok 4.