永不结束的棋局

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

人类棋手、数学教授马里昂·廷斯利已经67岁。在四十五年的职业生涯里，他一共输掉过七盘棋，从没有输过任何一场比赛。仅从战绩而言，他是全人类有史以来最顶级的棋手。

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

没有人知道的是，马里昂·廷斯利就要死了。七个月之后，他因为胰腺癌逝世，留下一场永不能结束的终极对决。

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

只有一个办法。

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

但是没有完美的人类，哪怕他是马里昂·廷斯利。倘若让棋局无限延伸，那么他终将犯下一个致命的错误。历经十三年的埋头研究，夏佛终于能用自己的造物去面对一个早已死去之人的幽灵：廷斯利只不过是近乎完美，逻辑才是真正完美。世界上最好的棋手已经死了，正如每一个短暂生命都要面对的一样。然而，总有些东西是永恒的。