位置全同劫规则下的围棋求解：可靠证明转移与新棋盘值

研究人员提出并行证明数求解器 Sanko，通过可靠证明转移定理解决了位置全同劫（PSK）规则下的围棋求解难题。Sanko 在 6 线程下仅用 16 分钟即完成 5x5 围棋求解（此前 SOTA 需 5.25 小时），并首次确立另外 23 个棋盘的 PSK 值，其中 11 个此前在任何规则下均未获解。该研究已开源求解器源码及所有运行数据以供复现。