banteg 推出 Sokoban 评测：66 关最短路线从 3819 步压缩至 3063
banteg · x · 2026-11-12
Yearn 开发者 banteg 上线「Sokoban Eval · Frontier」：用 66 个推箱子关卡评测语言模型，每关以已发布模型运行中找到的最短路线开局，社区可挑战纪录或提交证明抬高下界。
上线 24 小时内，社区把总步数从开局 3819 压到 3063，与已证明最小值 3000 只差 63 步。剩余未证明房间：III-14 差 5 步、III-20 差 10 步、III-21 差 48 步。提交会在 Jonah Ostroff 的原版 PuzzleScript 中逐键回放验证，撤销键不计入长度，所有纪录回放公开。
所属事件:banteg 上线 Sokoban Eval 挑战，最短解压至 3063 步(5 条相关)→
「Fun」频道最新
- 创始人炫耀不再读 agent 代码，网友泼冷水：凌晨3点谁救场 — DesireeCachette · 2026-11-12
- 50 个被忽视的实用网站：从 Sci-Hub 到 12ft.io 的隐藏工具箱 — nikola_mr64990 · 2026-11-12
- Claude Code 从零写引擎：把德国小城做成真数据驱动的火车模型世界 — Greedy-Giraffe-4269 · 2026-11-12
- Claude 拒绝渲染幼年 Link 梗图,主动建议改用成年模型 — banteg · 2026-11-12
- 把《怪奇物语》改写成 1972 年复古画风,AI 视频 demo 走红 — techhalla · 2026-11-12
- Gary Marcus 网上急寻 Dario 版「我为什么要骗你」梗视频 — GaryMarcus · 2026-11-12