正文：北京时间7月10日中午，埃隆·马斯克在xAI发布会上正式推出下一代大模型Grok 4。马斯克称其为“全球最强AI”，具备超越人类的推理能力，可在SAT、GRE等考试中接近满分，并达到博士后水平。Grok 4在多项基准测试中刷新纪录，包括HLE、GPQA、ARC-AGI等，性能优于o3、Gemini 2.5 Pro等顶级模型。此外，Grok 4支持多语言语音交互，延迟更低，新增角色Eve和Sal，增强用户体验。它还可通过API调用，提供256K tokens上下文窗口。然而，使用费用高昂，年费达300美元起，Heavy版本高达3000美元。马斯克预测，Grok 4有望年内实现科学新发现。