马斯克旗下人工智能初创公司xAI宣布正式推出人工智能模型Grok 4。