この記事では、無偏ゲームの解法における証明数探索(Proof-Number Search)アルゴリズムの大規模並列化について述べています。従来の並列版は多くのCPUコアでスケーラビリティが低いことで知られていましたが、著者らは2段階の並列化と作業者間の情報共有を用いることで、効率的にスケールする大規模並列版を初めて提案しました。この新しいソルバーは、Sproutsゲームを対象にGrundy数を活用し、ゲームツリーの縮小を行っています。特に1024コアで実行した場合、332.9倍の速度向上を実現し、従来の最先端のソルバーGLOPに対して4桁の速度で優れた性能を示しました。また、Sprouts conjectureに関連する新たな42の局面を検証し、既知の結果をほぼ倍増させることに成功しました。