Ent
1994年8月16日,波士頓,世界上最好的西洋跳棋棋手和頂級AI之間的30盤棋,剛剛進行到第6盤。
人類棋手、數(shù)學(xué)教授馬里昂·廷斯利已經(jīng)67歲。在45年的職業(yè)棋手生涯里,他一共輸?shù)暨^7盤棋,從沒有輸過任何一場比賽。從40年前開始,但凡他參加世界冠軍賽的年份,沒有哪年不奪冠??峙聸]有任何其他競技項目,曾如此被一個人所主宰;僅從戰(zhàn)績而言,他是人類有史以來最頂尖的棋手。
他的對手是一個叫“欽努克”的AI。過去兩天里,雙方已經(jīng)下了5盤,都是和棋;而這一盤也馬上就要以和棋告終。
人們不知道的是,馬里昂·廷斯利就要死了。
和棋之后不久,他因腹痛被送往醫(yī)院。幾天后,X射線在他體內(nèi)發(fā)現(xiàn)了一個腫塊。7個月之后,他因為胰腺癌逝世,留下一場永不能結(jié)束的終極對決。西洋跳棋界的不敗傳奇就此落幕;直到死去,他也沒有允許AI奪走這一榮耀。
然而坐在他對面的人——這個AI的創(chuàng)造者喬納森·夏佛,無法接受這個結(jié)局。
“人們對我說:‘你永遠不可能打敗廷斯利,因為他是完美的?!毕姆鸹貞浀馈赡昵?,廷斯利在一場40盤對抗賽中擊敗了他的對手AI。其中的一盤棋,當(dāng)AI走到第10步時,廷斯利說:“你會后悔走這步棋的。”AI在26步之后認輸。夏佛賽后檢查了數(shù)據(jù)庫,發(fā)現(xiàn)當(dāng)時的局勢下只有唯一的一著棋能讓人類獲勝,而廷斯利毫無懸念地選擇了這一著。
可就在他嘔心瀝血改良的AI終于看到勝利的希望時,那個多年來一直被他仰望和追逐的對手,那個完美卻又脆弱的人,竟這么死掉了。
故事原本可以到這里結(jié)束。按照規(guī)則,廷斯利屬于棄權(quán),國際棋聯(lián)宣布AI獲勝。世界上已經(jīng)沒有別的棋手能夠戰(zhàn)勝它。的確,他的AI到最后也沒有真的贏過有史以來最好的人類棋手,但是你要如何戰(zhàn)勝一個死去的人呢?
只有一個辦法。
2007年7月19日,《科學(xué)》雜志上發(fā)表了一篇論文,標(biāo)題十分簡短:Checkers Is Solved。通過這篇論文,第一作者喬納森·夏佛實際上給出了數(shù)學(xué)意義的完美跳棋程序。他證明,這樣一個AI不可能輸給任何人,哪怕對手同樣是完美的AI,也只意味著和棋。
但是沒有完美的人類,哪怕他是馬里昂·廷斯利。倘若讓棋局無限延伸,那么他終將犯下一個致命的錯誤。歷經(jīng)13年的埋頭研究,夏佛終于能用自己的造物去面對一個早已死去之人的幽靈:廷斯利只不過是近乎完美,邏輯才是真正完美。
世界上最好的棋手已經(jīng)死了,正如每一個短暫生命都要面對的一樣。
然而,總有些東西是永恒的。