专题
Snaky 21 步 · 你来防守
无限方格平面上，电脑（Maker）和你（Breaker）轮流各占一格。电脑只要占满任意一个 Snaky 六连格（可平移、旋转、翻转）就赢，你的任务是阻止它。电脑逐字执行 OpenAI 预印本《Snaky in 21 Maker moves》（2026-09-25）中的证书，保证 21 步内获胜。
玩游戏 →
你来防守。可以打开“AI 思路”，看它当前依赖的格子；也可以让最强防守自动下到底。
读证明 →
“卡片”组合规则、728 张卡的证书，以及独立检查器和 10000 局对抗测试的结果。
下载证书 →
论文原始证书文本，共 722 行组合规则，SHA-256 3fa12d36…3d04。
要点
- 电脑的走法不是搜索，而是查表：每个局面都是一张卡片 (A, T, h)，只要电脑已占 A、你在 T 里没有子，电脑就能在 h 步内获胜。
- 电脑下完枢轴后，所有子卡片包络的交集都归它所有，你的一手棋不可能同时破坏所有子卡片，所以每步高度至少减 1。
- 开局卡片 727 的 A = ∅、|T| = 251、h = 21，所以从空棋盘开始电脑至多 21 步必胜，用到的格子都在 17×17 的范围内。
- 上界 21 对这个策略是紧的：最强防守能把电脑拖到第 21 步，但拖不到第 22 步。
- 这里证明的是“这个策略 21 步内必胜”，不是说 21 就是 Maker 的最优步数。