永不結(jié)束的棋局

Ent

1994年8月16日，波士頓，世界上最好的西洋跳棋棋手和頂級(jí)AI之間的30盤棋，剛剛進(jìn)行到第6盤。

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

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

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

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

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

“人們對我說：‘你永遠(yuǎn)不可能打敗廷斯利，因?yàn)樗峭昝赖??！毕姆鸹貞浀馈赡昵?，廷斯利在一?0盤對抗賽中擊敗了他的對手AI。其中的一盤棋，當(dāng)AI走到第10步時(shí)，廷斯利說：“你會(huì)后悔走這步棋的。”AI在26步之后認(rèn)輸。夏佛賽后檢查了數(shù)據(jù)庫，發(fā)現(xiàn)當(dāng)時(shí)的局勢下只有唯一的一著棋能讓人類獲勝，而廷斯利毫無懸念地選擇了這一著。

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

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

只有一個(gè)辦法。

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

但是沒有完美的人類，哪怕他是馬里昂·廷斯利。倘若讓棋局無限延伸，那么他終將犯下一個(gè)致命的錯(cuò)誤。歷經(jīng)13年的埋頭研究，夏佛終于能用自己的造物去面對一個(gè)早已死去之人的幽靈：廷斯利只不過是近乎完美，邏輯才是真正完美。

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

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