banteg 悬赏 Sokoban 挑战:三部曲最短解已压到 3000-3064 步,无人能破

banteg · x · 2026-11-11

开发者 banteg 上线了「Sokoban Eval」网站,把经典的 Heroes of Sokoban 三部曲推箱子题做成了公开的 AI/玩家挑战:整部三部曲 66 个房间全部关闭,最短已知路线在 3,000 到 3,064 个按键之间,其中最后一关还剩 64 步的下界差距未被证明。

挑战规则:任何人提交更短路线即可认领纪录,路线会在 Jonah Ostroff 的 PuzzleScript 原版实现中逐步回放验证;若有人打破「已证明最短」的下界,则意味着证明本身有错——作者称那将是最好的发现。目前所有纪录席位均空缺,首通与最短路线纪录分开计。这类规划密集型谜题常被用作 LLM/agent 推理能力评测。