AI Know · 技术研究笔记
Grok 4.7 主打编码与知识工作,与 4.6 同价同速
定价 $2/$6 每百万 token,快速变体速度价格双倍;编码代理评测得分升至 56,跻身前沿梯队在知识工作;马斯克自评:智能体编码领域位列第三
三分钟读懂
先看结论,再决定是否深读
- Grok 4.7 主打编码与知识工作,与 4.6 同价同速
- 定价 $2/$6 每百万 token,快速变体速度价格双倍
- 编码代理评测得分升至 56,跻身前沿梯队在知识工作
- 马斯克自评:智能体编码领域位列第三
- 对开发者而言,迁移成本几乎为零才是关键信号
核心原理
xAI 这次发布 Grok 4.7,最值得注意的不是"更强",而是"同价同速"。输入 $2/百万 token、输出 $6/百万 token,与上一代 Grok 4.6 完全一致;同时提供一个"快速变体",吞吐翻倍、价格也翻倍。这种定价策略传递的信息很明确:xAI 不打算用降价换市场,而是想在同等成本下把能力往上抬一档,让存量用户无痛升级。
另一个信号来自自我定位。马斯克称 Grok 4.7 使 xAI 在"智能体编码"这一细分领域位列第三——这是一个罕见的、带名次的自我评价,既承认了前面还有对手,也把竞争坐标从"通用模型排行榜"挪到了"能替人干活的编码代理"。与此同时,第三方评测机构 Artificial Analysis 给出的结论是:智能体知识工作跻身前沿,编码代理得分升至 56。两个信息源互相印证,说明这次升级的重点不是闲聊体验,而是工具调用、多步执行和代码库级任务。
技术细节
输入侧:Grok 4.7 的核心假设是"上下文即生产力"。编码与知识工作的典型输入不是一句话,而是仓库结构、依赖清单、issue 描述、日志片段、接口文档的混合体。真正的门槛在于长上下文中保持符号一致性——同一个函数名在第 3 万 token 处和第 12 万 token 处必须指向同一个实体。如果模型在高噪声输入下出现变量重命名、路径臆造,后续所有推理都会建立在错误地基上。因此输入侧的评估重点应是"长上下文召回精度"而非单纯的窗口长度数字。
推理与执行侧:智能体编码的评分跃升,通常来自多步循环的稳定性改善,而不是单次生成质量。具体表现为:工具调用格式更少走样、失败后能自我纠正而非原地重试、计划与执行之间的偏差更小。这类能力对推理成本敏感——步数越多,token 消耗越快,所以"同价"在同一任务上并不等于"同账单",调用轮次才是真正的乘数。快速变体的存在也说明 xAI 认可这个判断:愿意为延迟付费的场景,往往正是高频多轮的工具循环。
输出与评测侧:用户看到的是补丁、解释和检查清单,但评分体系看的是任务完成度。Artificial Analysis 的 56 分属于代理编码类指标,衡量的是端到端完成率,通常夹杂部分成功与反复试错。需要提醒的是,得分提升到前沿水平,并不等于在你自己那个私有代码库上就能复现——评测集的仓库规模、语言分布、测试覆盖率与真实业务代码往往差异巨大。
工程实践
- 先做影子对照再切流:选 20 到 50 个历史任务,同时跑 Grok 4.6 和 4.7,人评比对补丁正确率与调用轮次。同价不代表同质量,用数据决定是否全量切换。
- 把"轮次预算"写进调用层:给每个代理任务设最大步数与最大 token 上限,超限即中断并落盘中间状态。避免模型陷入"再试一次"的循环,把 $6 的输出单价乘成十几倍。
- 按任务分档选模型:重推理、长链路、可慢的场景走标准版;高并发、短响应、可容忍略低质量的场景走快速变体。在路由层做分流,比在模型层做取舍更划算。
风险边界
成本:单价固定但总花费浮动。真正决定账单的是输入膨胀率与工具调用次数,长上下文任务里输入常常是输出的数十倍,"输出便宜"的直觉会误导预算。
幻觉:编码场景的幻觉不是编造事实,而是编造不存在的 API、配置项和文件路径。它比自然语言幻觉更难发现,因为语法通常完全合法。
越权调用:代理能执行命令、改文件、发请求。必须在沙箱内运行,对写操作和网络出口设白名单,禁止模型直连生产凭证。
长尾输入与延迟:老旧的构建脚本、非主流语言、超长单文件都属于长尾,得分下降幅度可能远大于评测集表现。快速变体虽然更跟手,但延迟优势在长上下文预填充阶段会被稀释,实时交互场景要先实测首 token 时间再上线。