局面同形劫规则下的围棋求解：可靠证明转移与新棋盘博弈值

研究者提出并行证明数求解器 Sanko，通过证明转移定理实现了局面同形劫（PSK）规则下的围棋高效求解。Sanko 在 6 线程下仅用 16 分钟便求解 5x5 围棋（此前 SOTA 需 5.25 小时），192 线程下只需约 1.5 分钟。该成果还首次确定了另外 23 个棋盘的 PSK 博弈值（含 11 个此前未解棋盘），并开源了求解器源码及复现数据。