1. 涨姿势首页
  2. 一本道

永不结束的棋局

@Ent_evo:

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

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

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

没有人知道的是,马里昂·廷斯利就要死了。

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

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

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

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

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

只有一个办法。

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

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

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

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

Jonathan Schaeffer et al. Checkers Is Solved. Science 14 Sep 2007: Vol. 317, Issue 5844, pp. 1518-1522

配图:王劈柴

永不结束的棋局

如若转载,请注明出处:https://www.zhangzs.com/279474.html

发表评论

电子邮件地址不会被公开。 必填项已用*标注

QR code
QR code