Chinook 夺得人机跳棋世界冠军

背景

跳棋（checkers）规则简单，局面空间却极大。阿尔伯塔大学的一篇介绍称，跳棋大约有 5000 亿亿种可能的走法 ^[3]。正是这种规模，使它成为检验计算机博弈程序的试验场。阿尔伯塔大学的团队为此开发了一个名为 Chinook 的程序。它第一次冲击冠军是在 1992 年，打进了冠军赛，但输掉了比赛 ^[1]。

发生了什么

再战是在 1994 年，地点是波士顿举行的第二届世界人机跳棋锦标赛（World Man-Machine Checkers Championship）^[2]。阿尔伯塔大学的一张照片记录了比赛开始时 Chinook 与乔纳森·谢弗（Jonathan Schaeffer）同场的情景 ^[2]。这一次程序赢了：项目页面记载，Chinook 在 1992 年输掉冠军赛后，于 1994 年成为冠军 ^[1]。谢弗本人的说法是，1994 年他的团队让 Chinook 成为第一个赢得世界跳棋冠军赛（World-Man Checkers Championship）的计算机程序 ^[2]。

关键细节

夺冠团队被列为 Martin Bryant、Paul Lu、Jonathan Schaeffer 和 Rob Lake ^[2]。这件事引人注意的不只是棋，还有对手：按谢弗的说法，这是计算机第一次在任何一种棋类中赢得人类的世界冠军 ^[2]。项目页面把这次夺冠放在深蓝（Deep Blue）国际象棋比赛之前三年，并称它是人工智能研究史上的一个里程碑 ^[1]。随之而来的还有正式的世界纪录认定：1996 年，《吉尼斯世界纪录大全》将 Chinook 列为第一个赢得人类世界冠军的程序 ^[1]。

影响

这一结果改变了人们对博弈程序的预期，而且它发生在计算机于国际象棋中击败在任人类世界冠军之前。Chinook 团队也没有停在冠军头衔上。2007 年，这个程序算清了跳棋，为此动用了最多 200 台计算机，前后累计工作 14 年 ^[3]。在这个技术意义上，算清一盘棋指的是把任何局面下双方都采用最优着法时的胜负结果全部推导出来，而不只是比当时能找到的人类对手下得更好。从 1994 年的那场比赛到后来的这个结果，Chinook 从一个很强的棋手，变成了整盘棋的完整地图。