Grok 4 是 xAI 公司开发的新一代大语言模型，于 2025 年 7 月 9 日通过 X 平台直播活动正式发布。该模型命名源自罗伯特·A·海因莱因在《异乡异客》中提出的概念，并跳过了此前预期的 Grok 3.5 版本，以加速在激烈 AI 竞争中的进展。
主要能力
Grok 4 在自然语言、数学和推理方面提供领先性能，在推理基准测试中取得 35–45% 的领先分数。其特性包括：
- Grok 4 Code 版本：专为开发者设计的变体，提供智能代码补全、调试辅助、优化建议，并支持实时 IDE 集成。
- 多模态支持：与之前版本不同，Grok 4 支持文本、图像等多种输入类型，可能还包括视频，向 GPT-4o 和 Gemini 1.5 等竞品看齐。
- 第一性原理推理：增强自然语言理解，专注于第一性原理推理，并以高级逻辑一致性处理复杂数学和科学查询。
- 多语言支持：在前代 Grok 版本基础上，支持多语言能力。
- 企业优化：包含针对企业用例优化的变体，例如数据提取、分析及特定领域任务，并为企业应用增强了稳定性和性能。
使用方式
用户可以通过以下途径访问 Grok 4：
- 通过 X（原 Twitter）平台直接访问，并获得集成的网页浏览和实时数据访问功能。
- 下载 iOS 和 Android 移动应用，随时随地获得 AI 协助。
- 使用 Grok 4 Code 版本，增强编码工作流和 IDE 集成。
页面提到“AI Chat Pro”提供高级 AI 聊天能力，具备实时 token 跟踪、实惠定价和强大功能，并可开始免费试用。但关于 Grok 4 本身的定价、收费模式或免费试用细节，资料未提供明确信息。
性能与参数
根据资料，Grok 4 与领先 AI 模型的基准测试比较显示其在推理方面具有竞争力。其参数规格估计为 100–1750 亿参数，小于 GPT-4 的约 1 万亿参数，但针对推理和速度进行了优化，上下文窗口最高可达 130,000 tokens。在复杂问题解决方面，GPT-4 通常在深度多步逻辑推理上保持优势，而 Grok 4 在实时信息整合和快速迭代方面表现突出，推理能力具有竞争力。
适用场景
Grok 4 适用于需要高级推理、数学和科学问题求解、自然语言理解的任务。Grok 4 Code 适合开发者进行代码补全、调试和优化。多模态支持使其能处理图像等输入，适用于需要视觉理解或多类型输入的场景。企业版本可用于数据提取、分析及特定领域任务。通过 X 平台和移动应用，用户可获取实时数据和网页浏览结果。
限制
资料中部分功能表述为“预计”或“可能”，例如视频输入支持、图像生成能力等，这些尚未完全确认。参数规格为估计值。关于收费、价格和免费试用的具体信息暂未提供。与 GPT-4 的对比仅为概括性描述，未给出详细基准数据。
