banteg launches Sokoban Eval: trilogy solved in 3,000-3,064 keys, last 64-key gap unproven
banteg · x · 2026-11-11
Developer banteg launched 'Sokoban Eval', a public leaderboard for the classic Heroes of Sokoban trilogy. All 66 rooms are closed, with shortest known routes totaling between 3,000 and 3,064 keys — a final 64-key gap from the proven lower bound remains unclaimed. Submissions are verified by replaying routes key-by-key in Jonah Ostroff's original PuzzleScript build; anyone beating a proven minimum would disprove the proof, which banteg calls the best possible find. Planning-heavy puzzles like these are commonly used to benchmark LLM/agent reasoning.
Related event: banteg Offers Bounty for Optimal Sokoban Trilogy Solution(2 posts)→
More from coding & agent
- One-file playable stealth heist game built by Claude, all assets drawn in code — heypearlai · 2026-11-11
- 7 memory slots vs 200K tokens: the hardware mismatch behind AI coding debt — esrtweet · 2026-11-11
- Sydney Codex Community Buildathon set for Nov 14 with Cerebras-backed ultrafast compute track — paw_lean · 2026-11-11
- shadcn's improve hits 10k stars: let top models plan, cheap models execute code fixes — shadcn · 2026-11-11
- OpenAI open-sources Codex Security CLI and SDK for AI-driven vulnerability scanning and fixing — openai · 2026-11-11
- askmdb: fine-tuned Qwen models turn plain English into MongoDB queries, 0.8B hits 83.6% locally — AlternativeEnough352 · 2026-11-11