Sanko求解器实现禁全同规则下围棋的可证明求解

Sami Kharma 与 Florian Schintke 发布论文（arXiv:2610.29414），提出并行深度优先 proof-number 求解器 Sanko，可在禁全同（positional superko）规则下可靠求解围棋，并开源求解器源码及各结果的运行命令，称所有数值可复现。 据论文，Sanko 用 6 线程 16 分钟证明 5x5 围棋，此前最优方法需 6 进程 5.25 小时；在 192 线程单机上约 1.5 分钟完成。论文还给出 23 个棋盘的首批禁全同规则棋盘值，其中 11 个此前在任何规则下均未求解。

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

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