永不结束的棋局

tongzhuan365

　　1994年8月16日，波士顿，世界上最好的西洋跳棋棋手和顶级AI之间的30盘棋，刚刚进行到第6盘。

　　人类棋手、数学教授马里昂·廷斯利已经67岁。在45年的职业棋手生涯里，他一共输掉过7盘棋，从没有输过任何一场比赛。从40年前开始，但凡他参加世界冠军赛的年份，没有哪年不夺冠。恐怕没有任何其他竞技项目，曾如此被一个人所主宰；仅从战绩而言，他是人类有史以来最顶尖的棋手。

　　他的对手是一个叫“钦努克”的AI。过去两天里，双方已经下了5盘，都是和棋；而这一盘也马上就要以和棋告终。

　　人们不知道的是，马里昂·廷斯利就要死了。

　　和棋之后不久，他因腹痛被送往医院。几天后，X射线在他体内发现了一个肿块。7个月之后，他因为胰腺癌逝世，留下一场永不能结束的终极对决。西洋跳棋界的不败传奇就此落幕；直到死去，他也没有允许AI夺走这一荣耀。

　　然而坐在他对面的人——这个AI的创造者乔纳森·夏佛，无法接受这个结局。

　　“人们对我说：‘你永远不可能打败廷斯利，因为他是完美的。’”夏佛回忆道。两年前，廷斯利在一场40盘对抗赛中击败了他的对手AI。其中的一盘棋，当AI走到第10步时，廷斯利说：“你会后悔走这步棋的。”AI在26步之后认输。夏佛赛后检查了数据库，发现当时的局势下只有唯一的一着棋能让人类获胜，而廷斯利毫无悬念地选择了这一着。

　　可就在他呕心沥血改良的AI终于看到胜利的希望时，那个多年来一直被他仰望和追逐的对手，那个完美却又脆弱的人，竟这么死掉了。

　　故事原本可以到这里结束。按照规则，廷斯利属于弃权，国际棋联宣布AI获胜。世界上已经没有别的棋手能夠战胜它。的确，他的AI到最后也没有真的赢过有史以来最好的人类棋手，但是你要如何战胜一个死去的人呢？

　　只有一个办法。

　　2007年7月19日，《科学》杂志上发表了一篇论文，标题十分简短：CheckersIsSolved。通过这篇论文，第一作者乔纳森·夏佛实际上给出了数学意义的完美跳棋程序。他证明，这样一个AI不可能输给任何人，哪怕对手同样是完美的AI，也只意味着和棋。

　　但是没有完美的人类，哪怕他是马里昂·廷斯利。倘若让棋局无限延伸，那么他终将犯下一个致命的错误。历经13年的埋头研究，夏佛终于能用自己的造物去面对一个早已死去之人的幽灵：廷斯利只不过是近乎完美，逻辑才是真正完美。

　　世界上最好的棋手已经死了，正如每一个短暂生命都要面对的一样。

　　然而，总有些东西是永恒的。