據國外媒體報道，早在十多年前，由加拿大艾伯特大學開發的跳棋程序「Chinook」就曾在人機大戰中獲勝。而《科學》雜誌網站今天發表文章稱，科學家已經嚴密地證明，只要略作改進，Chinook就永遠不會輸棋。不論對手多麼有技巧和經驗，在Chinook面前，他能獲得的最好結局就是一盤和棋。

　　科學家的這一發現，使得跳棋變成了存在必勝戰略的遊戲。從理論上講，跳棋的棋子佈局有5萬億億種可能。到目前為止，跳棋是人類找到終極解決方案的最複雜棋牌類遊戲。艾伯特大學計算機專業教授喬納森·斯卡費爾(Jonathan Schaeffer)從1989年就開始研究跳棋程序，希望開發出一款足以挑戰世界冠軍的軟件。最終，他在18年後實現了這一目標。

　　斯卡費爾曾經開發了一個優秀的國際
象棋程序——「Phoenix」，作為專業水平的棋手，他最初的願望是開發出世界最佳象棋程序。但是，當發現Phoenix不太可能成為擁有頂級國際象棋水平的程序時，他將自己的興趣和努力轉向了跳棋。上世紀90年代中期，他利用開發Phoenix的經驗開發出Chinook，並大獲成功。1995年， Chinook甚至擊敗了人類世界的跳棋冠軍。

　　過去20年裏，計算機技術取得了突飛猛進的發展。但是，要讓計算機完全計算5萬億億種棋子佈局還不現實。因此，研究人員在實際開發和測試中只考慮常見開局，以及正常情況下可能出現的棋子佈局。斯卡費爾表示：「這只是計算證明，而不是正式的數學證明。」由於計算量過大，研究人員必須緊密地跟蹤每個數據位。一旦某個數據位出現錯誤，而研究人員沒有及時發現，就可能導致出現錯誤的結果。

　　要想同完美版的Chinook程序比賽，可以訪問網站 www.cs.ualberta.ca/~chinook/ 。所有人都可以成為Chinook的對手，但它同時只能進行24場比賽。對於斯卡費爾來說，他下一個要征服的目標是紙牌。他開發的紙牌程序「Polaris」將於下周同兩位專業牌手同場競技，爭奪5萬美元的獎金。