1994年8月16日，波士頓。世界上最好的西洋跳棋棋手和最頂級AI之間的三十番棋剛剛進行到第六盤。

人類棋手、數(shù)學(xué)教授馬里昂·廷斯利已經(jīng)67歲。在四十五年的職業(yè)生涯里，他一共輸?shù)暨^七盤棋，從沒有輸過任何一場比賽。從四十年前開始，但凡他參加世界冠軍賽的年份，沒有哪年不曾奪冠?？峙聸]有任何其他競技項目曾如此被一個人所主宰;僅從戰(zhàn)績而言，他是全人類有史以來最頂級的棋手。

他的對手是一個叫“欽努克”的AI。過去兩天里雙方已經(jīng)下了五盤，全都是和棋;而這一盤也馬上就要以和棋告終。

沒有人知道的是，馬里昂·廷斯利就要死了。

棋局結(jié)束后不久，他因腹痛而被送往醫(yī)院。幾天后，X射線在他體內(nèi)發(fā)現(xiàn)了一個腫塊。七個月之后，他因為胰腺癌逝世，留下一場永不能結(jié)束的終極對決。西洋跳棋界的不敗傳奇就此落幕;直到死去，他也沒有允許AI奪走這一榮耀。

然而坐在他對面的人，這個AI的創(chuàng)造者喬納森·夏佛，無法接受這個結(jié)局。

“人們對我說，‘你永遠(yuǎn)不可能打敗廷斯利，因為他是完美的。’”夏佛回憶道。兩年前，廷斯利在一場40番對抗賽中擊敗了他的AI。其中的一盤里，當(dāng)AI走到第10步時，廷斯利說，“你會后悔這步棋的”。AI在26步之后認(rèn)輸。夏佛賽后檢查了數(shù)據(jù)庫，發(fā)現(xiàn)當(dāng)時的局勢下只有唯一的一著棋能讓人類獲勝，而廷斯利毫無懸念地選擇了這一著。

可就在他嘔心瀝血改良的AI終于看到勝利的希望時，那個多年來一直被他仰望和追逐的對手，那個完美卻又脆弱的人類，竟這么死掉了。

故事原本可以到這里結(jié)束。按照規(guī)則廷斯利屬于棄權(quán)，國際棋聯(lián)宣布AI獲勝。世界上已經(jīng)沒有別的棋手能夠勝過它。的確，他的AI到最后也沒有真的贏過有史以來最好的人類棋手，但是你要如何戰(zhàn)勝一個死去的人呢?

只有一個辦法。

2007年7月19日，《科學(xué)》上發(fā)表了一篇論文，標(biāo)題十分簡短：Checkers Is Solved. 通過這篇論文，第一作者喬納森·夏佛實際上給出了數(shù)學(xué)意義的完美跳棋程序。他證明，這樣一個AI不可能輸給任何人，哪怕對手同樣是完美AI，也只意味著和棋。

但是沒有完美的人類，哪怕他是馬里昂·廷斯利，從未輸過也再也不可能輸?shù)羧魏我粓霰荣惖耐⑺估Ｌ热糇屍寰譄o限延伸，那么他終將犯下一個致命的錯誤。歷經(jīng)十三年的埋頭研究，夏佛終于能用自己的造物去面對一個早已死去之人的幽靈：廷斯利只不過是近乎完美，邏輯才是真正完美。

世界上最好的棋手已經(jīng)死了，正如每一個短暫生命都要面對的一樣。

然而，總有些東西是永恒的。