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

论文提出 Sanko，一种并行深度优先 proof-number 求解器，可在禁全同（positional superko）规则下可靠求解围棋。Sanko 用 6 线程 16 分钟证明 5x5 围棋，而此前最优方法需 5.25 小时；在 192 线程单机上约 1.5 分钟完成。