banteg challenges AI models to beat his 3,819-step Sokoban solution — credit to the winner
banteg · x · 2026-11-11
Developer banteg is running a challenge for AI models: the full Heroes of Sokoban trilogy takes between 3,000 and 3,064 keys, and he can't close the last 64. Starting from 3,819 keys, he'll credit the best solutions models find in their realtime runs while holding out his own optimal solutions; beating a proven minimum would break his proof. Solutions are verified against the original game — a fun stress test of model planning and reasoning.
Related event: banteg Offers Bounty for Optimal Sokoban Trilogy Solution(2 posts)→
More from Fun
- Security researcher: hours weekly with ChatGPT Voice still feels like talking to a machine — joshua_saxe · 2026-11-11
- Do typos discomfort LLMs? Tokenization quirk sparks debate — menhguin · 2026-11-11
- Dev asks 'smartest AI' to remake Pong, gets a gloriously weird WebGL2 tennis game — bigblueboo · 2026-11-11
- OpenAI engineer runs Codex for 26 days straight hunting Atlantis, spawning "vibe archaeology" — Polymarket · 2026-11-11
- AI founder shares 'tray-table GTM': cold pitch to advertise in IndiGo's inflight magazine — devenbhooshan · 2026-11-11
- Someone found the perfect actor to play Dario in the Anthropic movie — shekitup · 2026-11-11