先日、代表的なアブストラクトゲームのひとつオセロ (※1) の解決を証明したという論文が話題になりました。 オセロで「完璧な手を打ち続けた結果は引き分けである」ことを証明する研究が発表されました。 AI研究の長年にわたる課題の一部解決であり、ゲーム理論の分野における進展を示しています。 ただし、本発表の解釈にあたっては注意点があります。… pic.twitter.com/jxTOuRYt21 — AIDB (@ai_database) November 5, 2023 論文は査読前で、アルファ・ベータ探索法を改良したプログラムを使用しています。膨大なゲームツリー探索の計算量を減らすために複数のアルゴリズムを組み合わせており、証明の妥当性にはついてはまだ疑問の声もあるようです (※2)。 もっとも、オセロは一定の手数のうちに終了することが保証されている有限ゲームであり、その性質上「最善手では