Grok 4 适合编程吗?一项实际测试及应用案例

测试于2026年9月7日和11日进行;数据来源于2026年9月16日重新核查。.

关于这个名称,需要澄清一点。虽然人们仍然会搜索“Grok 4”,但我们测试的机型是 Grok 4.6, ,而不是最初计划的2025年7月。目前的 xAI 模型目录 建议代码使用 Grok 4.6,而原版 grok-4-0709 该 API 名称已停用。在本次评审过程中,我将把这些产品和日期区分开来。.

如果你在选择一位助手之前正在比较几位候选人,不妨先从更宏观的层面入手 最适合编程比较的AI模型. 这里需要探讨的具体问题是,Grok能否将一份精确的编码需求文档转化为实际可验证的工作成果。.

简短回答:Grok 4 适合编程吗?

Grok 4.6 的表现已足够好,可用于调试封装函数、生成初始实现、解释不熟悉的代码以及起草测试用例。但其可靠性尚不足以在不执行代码的情况下直接采纳。在我们的小型测试套件中,它未能检测到的错误并非晦涩的风格差异:一次重构导致 net 在所有非空结果中,有一套生成的测试用例无法区分延迟与绝对时间戳。.

实际操作标准很简单:给它一个范围狭窄的合同,要求进行一项修改,并进行独立验证。即使是一个能快速生成看似合理的代码的模型,仍可能删除一个字段、削弱一个不变式,或者在满足代码要求的同时忽略响应格式的要求。.

您可以 在 GlobalGPT 上尝试使用 Grok 4.6 适用于有界提示词和并排比较。GlobalGPT 是一个独立平台;它不会取代 Grok Build、集成开发环境(IDE)、代码仓库访问、xAI 的原生 API 控制台,也不会取代您的持续集成(CI)管道。.

Grok 编程测试证据,显示已验证的通过结果和部分结果,以及 JavaScript 输出结果。.
基于证据的编辑合成结果,由2026年9月7日和11日保留的四个标记为Grok 4.6的Broly网关编码运行数据构建而成。这既不是原生的Grok接口,也不是通用基准。.

我们实际测试的内容

我们评估了四个小型 JavaScript 任务:修复时间间隔合并问题、调试基于优先级的座位分配、重构一个变更摘要函数,以及为一个 重试间隔 解析器。每个任务都有一个固定的提示和一个确定性的本地评估器。其中三个任务于2026年9月11日运行;间隔任务则复用了9月7日的一次运行结果,我们已根据其存储的提示、原始响应和评估器对该结果进行了重新核查。.

  • 地点: 用户授权的布罗利聚合 API、聊天自动补全功能。.
  • 请求和返回的模型: grok-4.6.
  • 尝试: 每个任务仅发送一次请求,且不进行重试。.
  • 执行: 返回的 JavaScript 被隔离,并在本地针对预先声明的测试数据或变体进行运行。.
  • 该模型无法处理: 集成开发环境(IDE)、代码仓库、互联网连接、xAI 工具的执行系统和生产系统。.
1. 冻结合同在评估之前,已确定提示和预期行为。.
2. 一次尝试未向模型发送重试请求或评估器反馈。.
3. 本地执行返回的 JavaScript 是在声明的 fixtures 或 mutants 上运行的。.
4. 分离信号行为和教学遵循情况分别进行了评分。.

网关标签是有效的来源信息,但并不能独立证明上游部署情况。耗时包含网络和网关开销,且报告的代币数量并不构成 xAI 的正式计费依据。如需更全面的产品级视图,请参阅单独的 Grok 4.6 评测与实际测试.

编程测试结果一览

4受限的 JavaScript 任务
2完全正确的任务
2部分结果
3 / 4格式错误
合并区间行为通行证格式错误已经经过了五个固定点;输入数组和内部数组均未被重复使用。.
座位安排行为通行证格式通过这五个案例以及仅功能性响应均通过了测试。.
更改摘要行为(部分)格式错误单遍逻辑虽然有效,但所有非空结果都被省略了 net.
重试间隔测试行为(部分)格式错误该套件消灭了四名变种人中的三名,但未能实现绝对时间戳功能。.
小型合成任务,每项任务仅尝试一次。这些结果仅描述了记录的测试套件;并非Grok的总体通过率。.

最佳结果并非答案最长的那个。而是座位分配修复方案:简洁、格式正确且行为完整。最具启发性的失败案例是重构方案,因为其实现看起来很整洁,也满足了“单遍”的要求,却在悄无声息地改变了输出契约。.

测试 1:修复合并区间函数

第一个函数修改了其输入,在遇到空数组时会崩溃,无法合并相邻的端点,并且当后续出现嵌套区间时,可能会缩小原有的区间。提示语将这些不变量明确指出了。.

记录了 Grok 合并间隔编码任务,附带生成的 JavaScript 代码以及五个通过评测的测试用例。.
记录了2026年9月7日的Broly网关任务。请求和返回的模型版本为:grok-4.6;网关标签未经过独立验证。本论文基于保留的响应和本地评估器进行衍生。.
行为5 / 5 例
确切格式错过了
证据一次尝试

关键边界: 仅移除外层 Markdown 围栏后,功能修复测试通过。.

精确提示词
修复 / 不变量 / 非变异
原始模型输出
保留了 Markdown 围栏

结果 所有五个可执行用例均通过测试。该函数返回了新的数组,未修改输入,保留了嵌套覆盖率,并合并了相邻的端点。但因将代码包裹在 Markdown 中,导致一条显式指令的测试仍未通过。在仅移除该外层执行栅栏后,功能结果正确。.

实用启示 当提示中指出了那些隐含的边界情况时,Grok 成功处理了一个紧凑的修复案例。对于人来说,这种格式偏差微不足道,但它可能会导致依赖直接可执行文本的管道出现故障。.

测试 2:基于优先级的座位分配调试

该任务结合了稳定处理平局、优先级递减、无变异、精确容量以及“跳过并继续”规则。原始代码按错误方向进行排序,修改了输入数组,并且在遇到一个超大请求时过早终止。.

记录了 Grok 座位分配调试任务,其中包含返回的 JavaScript 代码以及五个通过的评估器测试用例。.
记录了2026年9月11日的Broly网关任务。请求和返回的模型版本为:grok-4.6;网关标签未经过独立验证。本发表内容基于保留的响应和本地评估器生成。.
行为5 / 5 例
确切格式通过
证据一次尝试

关键边界: 这是唯一既符合行为契约,又符合精确输出格式的答案。.

精确提示词
调试 / 稳定顺序 / 容量
原始模型输出
按要求实现裸函数

结果 所有五种情况均通过测试,包括优先级相等的顺序、超大尺寸的首个请求、精确容量、零容量以及空列表。输入保持不变,, 已接受的ID 是一个新的数组,而模型仅返回了所请求的函数。.

实用启示 这正是Grok最适合处理的任务类型:一个功能、明确的契约以及可以立即执行的边界情况。.

测试 3:在不改变行为的情况下进行重构

第三个提示要求 Grok 将重复的扫描替换为一次聚合遍历,同时保留顺序、不寻常的文件名以及精确的输出结构。这是一种现实中的重构风险:代码虽然可能变得更快、更简洁,但也可能因此丢失原有行为。.

记录了 Grok 重构任务,展示了省略了必需的 net 字段的简洁的一遍通过实现。.
记录了2026年9月11日的Broly网关任务。请求和返回的模型版本为:grok-4.6;网关标签未经过独立验证。本发表内容基于保留的响应和本地评估器生成。.
行为1 / 4 确切
确切格式错过了
证据一次尝试

关键边界: 单遍映射方法看似正确,但悄无声息地省略了所需的net字段。.

精确提示词
重构 / 单次遍历 / 输出契约
原始模型输出
缺失网围场;围栏得以保留

结果 该响应采用单遍处理,一个 地图, 正确的首次出现排序,安全处理 __proto__ 和 构造函数, ,且没有输入突变。但它从未计算或返回过 net. 空情况通过了测试,因为它没有结果对象;而所有三个非空情况均在精确比较中失败。.

实用启示 切勿仅凭算法复杂度或代码整洁度来评判重构。在接受新版本之前,请截取旧版本的输出结果,验证每个必需字段,并比较其行为表现。.

测试 4:编写能捕获合理缺陷的测试用例

最后一项任务颠覆了常规的设置:Grok 编写了测试用例,而我们的测试框架则将这些用例分别应用于一个严格的参考实现以及四个故意写错的实现。目标并非行覆盖率,而是验证所选的输入能否区分出看似相似的语义。.

记录了Grok测试编写任务,其中显示有三个被消除的突变体和一个未被检测到的绝对时间戳突变体。.
记录了2026年9月11日的Broly网关任务。请求和返回的模型版本为:grok-4.6;网关标签未经过独立验证。本发表内容基于保留的响应和本地评估器生成。.
行为3/4个突变体
确切格式错过了
证据一次尝试

关键边界: 基于纪元的日期固定值使得一个与绝对时间戳相关的错误因巧合而得以存活。.

精确提示词
测试编写 / 参考文献 / 突变体
原始模型输出
击杀了4名变异体中的3名;围栏完好无损

结果 该测试套件通过了基准测试,并捕获了宽松的数值解析、将零视为假值的情况,以及针对过去日期出现的负延迟。但它漏检了那个返回解析后日期绝对时间戳的变体。这两个日期测试都使用了与纪元对齐的值,因此预期的延迟恰好等于时间戳。.

实用启示 由 AI 生成的测试仅作为初步筛查,不能作为正确性的证明。应询问每个测试用例能区分哪些情况。突变测试、属性测试以及故意设置的不匹配值,可以揭示出那些看似全面实则不然的测试套件。.

Grok 4、Grok 4.6 和 Grok Build 并非同一事物

历史公告原始 Grok 4

2025年7月发布背景。旧的API slug随后已停用。.

模型已通过测试Grok 4.6

在这四个独立任务中,网关返回的标签。.

编程产品Grok 构建

一个独立的代理,可通过交互式或无头仓库工作流进行操作。.

可选的 API 工具代码执行

一个沙箱化的 Python 工具,必须在受支持的请求中启用。.

"(《世界人权宣言》) 原始 Grok 4 公告 这是历史上的发射背景。它并未描述我们在2026年测试中使用的模型。.

xAI的 2026年5月15日迁移通知 说 grok-4-0709 现在会重定向到 Grok 4.3,理由并不充分。这并不意味着所有带有 Grok 4 系列名称的产品都已消失;这意味着具体的型号 ID 才至关重要。.

xAI官方停用通知,其中显示了grok-4-0709及其重定向至grok-4.3的信息。.
原始的 Grok 4 API 条目已列入 xAI 的淘汰清单,并重定向至 Grok 4.3,且推断等级较低。采集于 2026 年 9 月 7 日;来源于 2026 年 9 月 11 日重新核查。.

Grok 4.6 是 xAI 目前推荐用于代码生成的模型。官方 Grok 4.6 规格 支持的工具包括函数调用、网络搜索、X搜索和代码执行。支持并不等同于自动激活:调用该模型的产品或API请求仍决定着模型能够看到和执行什么操作。.

"(《世界人权宣言》) Grok 4.6 公告 该模型专为长期运行的代理和代码库工作而设计。这是官方的产品宣传,并非由我们四个相互独立的 JavaScript 任务分别测得的结果。.

xAI 官方文档中列出了 Grok 4.6 版本,并建议在代码中使用该版本。.
官方型号目录建议使用代码 Grok 4.6。采集于 2026 年 9 月 7 日;来源于 2026 年 9 月 11 日再次核查。.

Grok 构建 是一个独立的编码工具。其交互式终端界面和无头模式可在代码库工作流中运行。如果您是在模型名称之间进行选择,而不是在编码产品之间进行选择,那么 按任务划分的最佳 Grok 模型 本指南介绍了当前的家庭情况。.

"(《世界人权宣言》) xAI 代码执行工具 这是一个可选的沙箱化 Python 环境。在我们的 Broly 测试中,该环境未被启用,因此模型在回答问题之前,既没有运行自己的 JavaScript 代码,也没有检查评估器的反馈。.

Grok的最佳编码应用场景

局部修复合适的候选人请说明该功能、预期行为、边界测试用例和变异规则。.
新添加的小功能合适的候选人请明确指定签名、精确的输出形状、边界情况和依赖关系。.
重构虽有帮助但风险较大不仅要比较风格或复杂度,还要比较每一个可观察到的输出和副作用。.
单元测试草稿出色的初稿对照参考实现和已知错误的实现进行测试。.
代码说明有用要求它追踪具体的输入数据,并找出你可以验证的假设。.

调试封装的故障

当故障能够归结为一个函数、堆栈跟踪、出错的测试用例或简短的代码差异时,Grok 最为有用。请说明预期结果、实际发生的情况,以及您不希望被修改的边界条件。座位分配的结果表明,一个精确的边界情况如何能将一个模糊的“修复此问题”请求转化为可验证的补丁。.

生成第一个实现

对于适配器、解析器、转换函数和 API 示例,Grok 可以消除“空白页面”带来的障碍。请索取最小的完整单元、引脚库版本,并运行代码片段。该 Grok 4 API 集成指南 当工作涉及 API 而非孤立的代码答案时,这就是下一步。.

审阅或起草试题

向 Grok 查询缺失的边界情况、不变量和候选突变。然后检查每个输入是否能区分其声称要测试的行为。Retry-After 测试套件在理论上覆盖范围很广,但一对对齐的时间戳却让一个语义错误得以存活。.

比较不同的方法

Grok 还可作为对算法、数据结构或调试假设的第二意见。当决策涉及助手适配而非某个补丁时, Grok 与 ChatGPT 的编码比较 添加了一个跨模型视图。.

哪些情况下Grok编码需要监督

保持行为的重构: 该模型在缺少一个输出字段的情况下,仍能满足所要求的算法。运行回归测试,并比较序列化后的输出、错误、顺序、变异和副作用。.

多文件仓库的更改: 我们的证据不涵盖依赖项发现、构建系统、代码搜索、生成的文件、迁移操作或协同编辑。请使用具有范围限定仓库访问权限的真实编码代理,然后审查其命令和差异。该 Codex 与 Claude 编码剂的对比 说明了为什么周围的工作流程与模型同样重要。.

安保和生产工作: 不要将自信的回应视为威胁模型、依赖项审计或部署审批。应将持续集成(CI)、静态分析、机密扫描、预发布环境、回滚以及人工审查纳入整个流程。.

严格的机器间格式: 尽管明确要求不使用 Markdown,但四条原始响应中有三条仍使用了 Markdown 围栏。应在边界处对输出进行验证和解析;切勿因文本看起来像代码就直接将模型文本传递给执行层。.

成本和冗长的推理轨迹: 我们的网关报告称,某次请求生成了 4,260 个完成令牌,该请求的 max_tokens:4096, ,主要作为推理令牌。这一观察结果并不能证明xAI的计费或上限行为。请查看当前的官方渠道,并将其与 Grok 4 API 定价与设置指南 在估算制作预算之前。.

在代码中使用 Grok 的实用工作流

01减少将一个故障、功能或变更单独分离出来。.
02请指明为输入、输出、不变量和排除项命名。.
03生成请提供最小的可用差分或函数。.
04执行运行测试、代码检查、类型检查和安全检查。.
05评论检查差异、副作用和回滚路径。.

1. 缩小问题范围

请提供 Grok 的最小可重现步骤,即能够复现问题但仍会导致失败的步骤。请包含错误信息、相关代码以及一个预期结果。请删除与问题无关的项目历史记录和机密信息。.

2. 写一份合同,而不是写一份愿望清单

请说明函数名称、接受的输入、精确的返回形状、排序规则、变异规则、依赖限制以及输出格式。该 Grok 4 使用指南 涵盖了更全面的账户管理和提示工作流。.

3. 找点零钱

与其进行大范围重写,不如优先考虑添加一个功能或进行一次针对性的修改。要求它保留公开的行为,并说明其不得不做出的任何假设。.

4. 进行独立核查

在模型响应之外执行代码。添加能够区分相近语义的边界情况,检查输入变异,比较每个输出字段,并测试预期的失败情况。对于生成的测试集,当风险合理时,运行已知的变异测试用例。.

5. 审查差异,并对决策负责

请像阅读来自人类贡献者的代码差异一样仔细检查最终的差异报告。确认依赖关系变更、安全边界、可观测性以及回滚机制。负责合并或部署的人员仍需对结果负责。.

开发者在公开场合发表的言论

用户的体验褒贬不一,且在很大程度上取决于任务、产品、提示和时间。Hacker News上的两条评论展示了这种差异,但两者均不构成基准,也不代表具有代表性的调查结果。.

2026年9月5日,Hacker News用户 zxspectrum1982 该用户称,在进行严肃的编码工作时,Grok 4.6 的表现远胜于 Composer 2.5,但也指出其价格更高。这只是某位用户的比较,并非对整体性能的普遍评价。.

Hacker News 用户 zxspectrum1982 将 Grok 4.6 与 Composer 2.5 进行了对比,以评估其在严肃编程中的表现。.
zxspectrum1982 于 2026 年 9 月 5 日在 Hacker News 上发表的帖子:这是一篇个人对比评测,指出 Grok 4.6 在进行严肃编程时表现明显更佳,但价格也更高。此为个人体验,并非基准测试结果。.

2025年12月20日,Hacker News用户 hiddendoom45 描述了在Grok-4-Code/Sonic实验中代码生成后,随后使用调试器发现了一个Go/Fiber字符串生命周期相关的细微缺陷。这一历史案例支持手动调试和关注生命周期的代码审查;但并不能据此确定Grok 4.6的故障率。.

Hacker News 用户 hiddendoom45 描述了在 Grok-4-Code 或 Sonic 实验中生成的代码中存在的一个隐蔽漏洞。.
hiddendoom45 于 2025 年 12 月 20 日在 Hacker News 上发布:一篇关于 Grok-4-Code/Sonic 实验中生成的代码中一个隐蔽的 Go/Fiber 漏洞的历史记录。这并非关于 Grok 4.6 故障率的声明。.

其中的共同点并非在于Grok总是成功或失败,而在于只有当代码响应了具体的任务、工具链和审阅者时,其质量才得以显现。在其他情况下也是如此。 ChatGPT 编码现实检验: 质量助理的工作与核查密不可分。.

常见问题

Grok 4 适合编程初学者吗?

是的,用于讲解、简单示例和指导性调试。初学者仍应运行每个代码片段,询问每行代码会带来什么变化,并避免直接粘贴机密信息,或在未经审查的情况下部署不熟悉的代码。.

我应该使用哪一款Grok型号进行编程?

根据2026年9月11日的核查结果,xAI建议在代码中使用Grok 4.6。请确认您产品中的确切模型ID,因为原始的grok-4-0709 API标识符已停用。.

Grok 4.6 能否编辑整个代码库?

当该模型在具有范围限制的文件和命令访问权限的代理中使用时,可支持仓库相关工作。我们的测试仅涉及孤立的提示,因此无法证明其具备自主处理多文件的能力或生产就绪性。.

“Grok Build”和在聊天中使用“Grok”是一回事吗?

No. Grok Build 是一个独立的交互式或无头编码代理。普通的聊天或 API 补全操作不会自动获取其仓库上下文、终端、权限或工具循环。.

我可以在 GlobalGPT 上使用 Grok 4.6 进行编程吗?

是的。GlobalGPT 为有界编码提示和模型比较提供了一条经过验证的 Grok 4.6 路径。这是一个独立平台,并不取代 Grok Build、任何集成开发环境(IDE)或 xAI 的原生 API 工具。.

我应该在未经测试的情况下就信任 Grok 生成的代码吗?

不。执行代码,添加边界情况,检查差异,并运行常规的代码检查、类型检查、安全检查和持续集成检查。我们的重构看起来很整洁,但遗漏了每个非空结果中必填的字段。.

最终判决

Grok 4 适合编程吗? 当前的 Grok 4.6 模型是一款功能强大的编码助手,适用于有界修复、小型函数、代码解释和首轮测试。在我们的四项任务套件中,它生成了两个完全正确的解决方案、一个导致行为异常的重构以及一个不完整的测试套件。此外,它在三条回复中忽略了一条“禁止使用 Markdown”的严格指令。.

请在检测失败成本较低的场景中使用它:范围狭窄、明确的契约、可执行的测试用例以及人工审查。请勿将此证据视为进行无人监督的代码库修改、安全审批或生产环境部署的许可。.

为了进行一次实际测试,, 在 GlobalGPT 上打开 Grok 4.6, 运行上述任一完整的提示,并将输出结果与您自己的测试结果进行对比,然后决定是否将其纳入您的工作流。.

使用您自己的夹具测试 Grok 4.6

分享帖子:

相关帖子