Chinook 首次获得人类世界冠军挑战权

背景

Chinook 项目始于 1989 年，目标是开发一个能够击败人类西洋跳棋（checkers）世界冠军的程序^[1]。Schaeffer 说，他在 1989 年转向西洋跳棋，是因为这项研究在挑战上与西洋棋相同，但游戏本身没有那么复杂^[2]。1989 年，他的程序副本开始在阿尔伯塔大学的本科生机器上运行^[2]。西洋跳棋看起来简单，但项目页面给出的搜索空间是 5×10 的 20 次方^[1]。这样的规模意味着程序不能只靠穷举所有走法来下棋，而要用搜索和评估来选择着法，这也是该项目同时属于游戏程序和计算研究的原因。

1990 年的突破

核心事件发生在 1990 年：Chinook 成为第一个在任何游戏中获得挑战人类世界冠军资格的程序^[1]。这不是冠军赛本身，而是资格上的突破——程序赢得了与人类冠军对局的机会。按项目页面的说法，这是第一次有计算机程序在任意一种游戏中走到这一步^[1]。对项目来说，这意味着它从研究程序变成了人类冠军赛体系中的参赛者，也让团队第一次能在正式比赛中检验程序的实力。

冠军赛结果

项目页面记载，Chinook 在 1992 年的冠军赛中落败，随后在 1994 年成为冠军^[1]。这两个结果把 1990 年的资格放到了完整的时间线里：第一次冠军赛没有赢，但程序后来还是拿到了冠军。项目并没有停留在比赛对局上。自 1989 年起，数十台计算机几乎不间断地工作，目的是求解这项游戏，中间在 1997 年至 2001 年有一段停顿^[1]。这项长期计算追求的不是击败某一个对手，而是确定在完美走法下棋局会得到什么结果。

求解西洋跳棋

2007 年 4 月 29 日，团队宣布西洋跳棋已被求解：从标准初始局面出发，完美对弈可以保证和棋^[1]。这个宣布为一条从 1989 年开始的工作线画上句号，而这条工作线此前已经带来了人类冠军赛资格和冠军头衔。所谓已求解，是指双方都走出完美着法时，结果可以事先确定；对标准西洋跳棋来说，这个结果是和棋^[1]。因此，1990 年的资格事件位于两个目标之间：前一个是击败人类冠军，后一个是求解游戏本身。

影响

对人工智能来说，1990 年的结果说明，一个程序可以在搜索空间达到 5×10 的 20 次方的游戏中获得人类世界冠军赛资格^[1]。它也是一连串结果的起点：1990 年获得资格，1992 年冠军赛落败，1994 年成为冠军，2007 年宣布游戏被求解^[1]。后来的求解并没有让 1990 年的资格变得不重要，反而说明了这次资格打开了什么。Chinook 的首次冠军挑战，是计算机西洋跳棋进入人类冠军赛体系的节点；项目后来的历史，则把这次进入变成了一项持续多年的研究计划。