HEX TRAILS · 关卡实验台

Agent 评级里,哪些数字真能拿来做关卡

同一批关卡、同一个模型、同一套盘面,跑两遍。能重现的指标才配进流程——这份报告把每个指标逐个检验了一遍,结论和直觉相反。

生成于 2026-09-14 16:04 GMT+8 · 数据来自 bench/runs 的 229 局 · 关卡集 levels/prototypes/d5.json(18 关)

01参与检验的批次

每一批用 agent 字段标识,不靠文件名猜来源。「旧盘面」指擦碰只报第一个阻挡者的版本,「新盘面」指修复后全部列出的版本。

模型名以 CLI 启动时打印的解析结果为准,而不是提示词里让 agent 自报的名字——有一批 18 局曾被标成 codex-spark,实际是配置在运行前被改掉、跑成了 gpt-6-astra/low,存档已按日志头更正。

批次关数通关空点擦碰空点盲转转错多转单局均每决策
grok-4.6 · 旧盘面1818/18442182283 s6.8 s
grok-4.6 · 新盘面 · 第 1 次1818/18212182255 s3.9 s
grok-4.6 · 新盘面 · 第 2 次1818/180025102849 s3.9 s
codex-spark · 旧盘面66/60022215 s1.4 s
gpt-6-astra · low · 新盘面1818/18102182241 s7.0 s
codex-spark · xhigh · 新盘面1817/18002172121 s1.8 s
kimi-k3 · high · 新盘面1818/18002182248 s5.2 s
grok-4.6 · 新关卡集(终局门槛后)1818/180054641 s3.8 s

已完成的对局通关率全部是 100%(个别批次仍有对局在进行中,未计入)。通关率在这批内容上毫无区分度,任何流程都不该建立在通过/失败上。

02信度检验:跑两遍还一样吗

同模型(grok-4.6 xhigh)、同 harness(pi)、同盘面(新)、同 18 关,只是又跑了一遍。两次之间唯一的变量就是运行本身,所以下面的相关系数就是这个指标的复测信度。

判定规则:关间标准差 < 0.35 说明这个指标在不同关卡上几乎一样,再稳也没用(无法排序);复测 r < 0.5 说明换一次运行结果就变,不能作为依据。两条都过才算可用。

指标关间标准差复测相关 r逐关完全一致判定
多转
清盘旋转数 − 求解器最少旋转数
1.580.8717/18可用
盲转
转了一次,什么出口都没打开
1.570.9217/18可用 · 高
转错方向
另一边本来能打开
0.500.8217/18可用
步数2.240.7616/18可用
决策数
看了几次盘面
1.890.7710/18可用
空点
点了没动
0.46—17/18噪声
动作÷棋子0.150.6916/18无区分度
评分:无解感0.870.8514/18可用
评分:难度0.590.9317/18可用 · 高
评分:旋转意义0.370.3215/18噪声
评分:清晰度0.470.1912/18噪声
评分:好玩0.420.5615/18可用

「关间标准差」衡量这个指标能不能把不同关卡区分开——标准差接近 0 的指标就算完全可复现也没用,因为每关都一样。两个条件要同时满足:既能区分关卡,又能跑两遍不变。

多转

r = 0.87
第 1 次 第 2 次

盲转

r = 0.92
第 1 次 第 2 次

转错方向

r = 0.82
第 1 次 第 2 次

步数

r = 0.76
第 1 次 第 2 次

决策数

r = 0.77
第 1 次 第 2 次

动作÷棋子

r = 0.69
第 1 次 第 2 次

评分:无解感

r = 0.85
第 1 次 第 2 次

评分:难度

r = 0.93
第 1 次 第 2 次

虚线是「两次完全相同」。点贴着虚线 = 可复现;点散开 = 这个数字换一次运行就变。

对照:换了盘面格式的那一对

上一节控制了所有变量。作为对照,这里是旧盘面 vs 新盘面的同 18 关配对——它多了一个变量(盘面变了),所以相关系数是信度的下限而非真值。两张表一起看,能分清「指标本身不稳」和「盘面变化导致的差异」。

指标控制变量后 r换盘面后 r差异说明
多转0.871.00两者接近,盘面变化影响很小
盲转0.921.00两者接近,盘面变化影响很小
转错方向0.821.00控制变量后反而更低——值得留意
步数0.760.95控制变量后反而更低——值得留意
决策数0.770.87两者接近,盘面变化影响很小
空点—-0.10—
动作÷棋子0.690.92控制变量后反而更低——值得留意
评分:无解感0.850.80两者接近,盘面变化影响很小
评分:难度0.930.63控制变量后明显更高——之前被盘面变化压低了
评分:旋转意义0.320.06控制变量后明显更高——之前被盘面变化压低了
评分:清晰度0.190.09两者接近,盘面变化影响很小
评分:好玩0.560.21控制变量后明显更高——之前被盘面变化压低了

03跨模型交叉验证:这些数字属于关卡,不属于玩家

下表是同一套盘面下所有批次的 多转 / 盲转 / 转错方向。不同厂商的模型、不同 harness、各自独立跑——如果这些数字真的由关卡决定,它们就该一样。

逐关完全一致
16 / 18
三项数字一个不差
参与批次
5
grok新① · grok新② · kimi · astra · spark新
关家族grok新①grok新②kimiastraspark新一致
L3switchback0/0/00/0/00/0/00/0/00/0/0✔
L5switchback1/1/11/1/11/1/11/1/11/1/1✔
L6weave0/0/00/0/00/0/00/0/00/0/0✔
L10petals0/0/00/0/00/0/00/0/00/0/0✔
L11petals0/0/00/0/00/0/00/0/00/0/0✔
L15crossing0/0/00/0/00/0/00/0/00/0/0✔
L17orbits0/0/00/0/00/0/00/0/00/0/0✔
L19petals0/0/00/0/00/0/00/0/00/0/0✔
L20petals0/0/00/0/00/0/00/0/00/0/0✔
L21switchback1/1/11/1/11/1/11/1/11/1/1✔
L22orbits4/4/110/8/34/4/14/4/14/4/1✘
L23orbits4/4/14/4/14/4/14/4/14/4/1✔
L24spiral4/4/14/4/14/4/14/4/14/4/1✔
L25spiral4/4/14/4/14/4/14/4/13/4/0✘
L26switchback1/1/11/1/11/1/11/1/11/1/1✔
L27weave1/1/11/1/11/1/11/1/11/1/1✔
L28weave0/0/00/0/00/0/00/0/00/0/0✔
L29weave2/1/02/1/02/1/02/1/02/1/0✔

这是全份报告里最硬的一条结论。16/18 关上,独立运行的不同模型给出了完全相同的旋转三元组。这意味着规则机器人 12 秒扫出来的这三个数,等价于大模型跑几小时的结果——这个维度完全不需要 agent。

不一致的关:不是难,是不稳定

下面这些关在不同运行之间给出了不同的数字。排除模型差异后,剩下的解释是同一关的体验取决于起手方向——两个玩家玩同一关,一个觉得还行,一个觉得这关有毛病。这比"稳定地难"更值得处理。

L22 orbits:4/4/1 / 10/8/3 / 4/4/1 / 4/4/1 / 4/4/1
L25 spiral:4/4/1 / 4/4/1 / 4/4/1 / 4/4/1 / 3/4/0

04家族结构:机械指标指向同一个地方

把「多转」按路线家族平均。这是关卡结构问题,不是玩家问题——两批 grok、以及 spark,在这一点上给出一致的结果。

grok-4.6 · 旧盘面 · 各家族平均多转

spiral2 关 4.0
orbits3 关 2.7
switchback4 关 0.8
weave4 关 0.8
petals4 关 0.0
crossing1 关 0.0

grok-4.6 · 新盘面 · 第 1 次 · 各家族平均多转

spiral2 关 4.0
orbits3 关 2.7
switchback4 关 0.8
weave4 关 0.8
petals4 关 0.0
crossing1 关 0.0

grok-4.6 · 新盘面 · 第 2 次 · 各家族平均多转

orbits3 关 4.7
spiral2 关 4.0
switchback4 关 0.8
weave4 关 0.8
petals4 关 0.0
crossing1 关 0.0

codex-spark · 旧盘面 · 各家族平均多转

switchback3 关 0.3
weave3 关 0.3

gpt-6-astra · low · 新盘面 · 各家族平均多转

spiral2 关 4.0
orbits3 关 2.7
switchback4 关 0.8
weave4 关 0.8
petals4 关 0.0
crossing1 关 0.0

codex-spark · xhigh · 新盘面 · 各家族平均多转

spiral2 关 3.5
orbits3 关 2.7
switchback4 关 0.8
weave4 关 0.8
petals4 关 0.0
crossing1 关 0.0

kimi-k3 · high · 新盘面 · 各家族平均多转

spiral2 关 4.0
orbits3 关 2.7
switchback4 关 0.8
weave4 关 0.8
petals4 关 0.0
crossing1 关 0.0

grok-4.6 · 新关卡集(终局门槛后) · 各家族平均多转

switchback4 关 0.8
petals4 关 0.5
weave4 关 0.3
orbits4 关 0.0
crossing2 关 0.0

orbits 和 spiral 是问题家族。它们稳定地需要 7 次旋转(最少 3 次)外加 4 次盲转——等于把 6 个朝向挨个试一遍。而 petals 和 crossing 是干净的 0。锁住率解释不了这个差异(L16 也是 orbits、锁 78%,却是 3/3)。

05Agent 说了什么

评分是 1–5 的数字,worst 是它自己写的一句话。下面按反复出现的主题归类——价值在重复模式,不在单条内容。

擦碰看不出来 · 30 次提及

L3 switchback(grok旧):开局 t2/t11 路上看着没人其实会擦到,差点空点;只剩 t0 和 t3 对堵时短暂以为卡住了
L6 weave(grok旧):t5走后(第9步)t2和t3都像能出界,其实互相擦碰,只能再转
L6 weave(grok新①):朝向1时 t2 和 t3 互相擦碰、t0 被 t2 压着,短暂不确定是再转还是还有能点的
L6 weave(grok新②):第9步清完后t2和t3互相擦挡,谁先走都不行,只能转

不知道该转哪边 · 19 次提及

L1 switchback(grok新关):朝向3右转后没有新出口,t0和t3仍互相挡,短暂怀疑该不该改左转
L5 switchback(grok旧):第 13 步右转后朝向 3 没新出口,t0 和 t3 仍互相挡,不确定该不该继续同向转
L5 switchback(grok新①):第15步右转后朝向3没有新出口,最后两枚还互压,一度担心转错了方向
L5 switchback(spark旧):第 8-9 步清掉 t5,t4,t2 后只剩 t0/t3 互压,朝向2不再有出口,开始不确定该是继续走还是转哪边

长路线读不动 · 32 次提及

L2 weave(grok新关):开局 t0 绕了 21 格还压着 6 枚,一眼看不出清障顺序,只能先点边上的 t4/t6
L3 switchback(kimi):第 10 步后 t0/t2/t3/t10 四枚互相压成环,盘面上看不出解法,只能靠旋转试出新朝向
L9 petals(grok新关):开局 t0/t3 各绕 19 格互相穿过,一时看不出该先剥哪层
L10 petals(grok旧):开局 t0/t3 各 19 格 15 弯还叠着好几枚,文字路线太长,分不清该先解哪一层

061000 关该怎么跑

核心判断:机械计数器当主力,agent 做抽检。免费的规则机器人能扫全量并稳定给出盲转/多转/转错;agent 贵但能提供两样机器给不了的东西——难度的相对排序,和用自然语言点出的系统性缺陷。关键是只收集经过信度检验的那几项。

  1. 生成期硬门槛 · 零成本

    用已有求解器,在生成时就卡掉:最少旋转 ≥ 2、开局锁住率 ≤ 90%、首转两个方向都能推进、无死局状态。不合格的根本不进候选池。

  2. 规则机器人全量扫 · 1000 关 12 秒

    产出盲转 / 多转 / 转错方向。按 盲转 ≥ 2 或 多转 ≥ 2 打标。这条规则在 D5 上正好命中 orbits+spiral 那几关,和两个大模型跑两小时得到的结论一致。

  3. Agent 只跑被标记的 + 5% 随机抽样

    不是 1000 关全跑。收集三样东西:difficulty(r=0.93,可用来给 1000 关排序)、stuck(r=0.85,体感无解的直接信号)、以及 worst 文字(重复模式能挖出系统性缺陷)。丢掉 rotation / clarity / fun——复测 r 只有 0.32 / 0.19 / 0.56,是模型噪声。按实测 43 s/关、4 路并行,150 关约半小时。

  4. 真人标定锚点 · 5–10 关

    Agent 的难度排序可信(复测 r=0.93),但绝对值可能整体偏移——它觉得「刚好」的关,真人可能觉得太简单。所以真人只需要玩少数几关当锚点,把 agent 的相对排序映射到真实难度刻度上,不必逐关评。这比原本设想的省很多人力。

最该做的一件事:把它变成回归测试,而不是评审流程。改完生成器,12 秒跑一遍规则机器人,比较盲转分布。从 22% 降到 5% 就是客观改善,升上去就是刚引入了退化。12 秒一轮可以进 CI;几小时一轮且分数不可复现的人工评审,不可能成为迭代循环。

07这份结论的边界

写清楚哪里不够硬,比多列几个数字重要。