研究者计算机辅助证明晶体交换谜题最少93步

Zilai Wang 对游戏《Order of the Sinking Star》中一个 11×11 棋盘的非局域晶体交换谜题给出精确最优解：一个显式的 93 条指令通关方案，并通过代价受限的广度优先搜索排除所有更短解，在 arXiv 发表。 该证明属于计算机辅助证明：搜索最多保留 605,349,215 个占用集合与 1,863,925,136 个状态，配合可采纳启发式与剪枝条件完成。作者公开了源代码与执行日志以供复现。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。