将棋のAIも終盤はしらみつぶしってことなんだから、本質は4色問題が解けた時と変わらんよな