Sanko求解器在PSK规则下解出5x5围棋

Sami Kharma 与 Florian Schintke 提出并开源 Sanko 求解器，在位置超级劫（PSK）规则下解出 5x5 围棋，并确立 23 个新棋盘值。该求解器采用并行深度优先的证明数搜索，通过证明迁移定理恢复置换表、静态死活识别与安全剪枝。 据作者报告，Sanko 用六线程 16 分钟完成 5x5 围棋求解，此前最优方法需六进程 5.25 小时；在单台 192 线程机器上约需一分半。作者称，与以往空棋盘求解不同，他们公开了求解器源码，以及每个数值和测量结果对应运行的命令行与输出，以便复现。

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

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