А вот шахматы не решены. Хотя лучшие современные шахматные программы несравнимо сильнее мастеров, даже самая продвинутая из них не может гарантировать победу или хотя бы ничью в партии с богом. Поэтому мы не знаем, какой результат принесет идеально разыгранная шахматная партия, хотя многие полагают, что это должна быть ничья. Взять верх над богом – трудная задача. В 1967 году математик Ханс-Йоахим Бремерманн утверждал, что «ни один компьютер, как бы он ни был сконструирован, никогда не сможет исследовать все дерево возможных последовательностей ходов игры в шахматы».
Хотя Шеффер после смерти Тинсли отошел от соревнований, он не отключил свои машины, которые продолжали работать в поисках окончательного решения шашек. Кое-чего на этом пути он уже добился – у него была полная база эндшпилей. Если на доске оставалось не более восьми шашек, Chinook всегда с математической достоверностью знала, какие ходы являются оптимальными и как закончится игра. Однако расширение этих баз данных для девяти, 10 и, в конечном итоге, для исходных 24 шашек за счет простого наращивания ресурсов было невозможно. По прикидкам Шеффера, при оптимистичных уровнях сжатия данных объем полной базы всех позиций в шашках составил бы один миллиард гигабайт. В то время стоимость хранилища такого размера превышала миллиард долларов. (Даже сегодня, при куда более совершенном оборудовании, хранилище обошлось бы примерно в $20 млн.)
Решение для шашек нужно было искать другим, сравнительно недорогим креативным способом, позволяющим сокращать необходимый объем исходных данных. Представьте себе партию в шашки – то есть
Факультет компьютерных наук Университета провинции Альберта, профессиональное прибежище Шеффера, довольно авторитетен в своей области. Несмотря на очевидные сложности с привлечением ученых в его холодный кампус в Эдмонтоне во время традиционной кампании найма специалистов в январе-феврале, факультет предлагает одни из лучших в мире учебных программ в области искусственного интеллекта. У выпускников, прослушавших эти программы, консультируются профессиональные игроки в покер. Несколько профессоров работают над сложным гибридом шахмат и го, который называется Amazons. Другие консультируют компании, занимающиеся разработкой видеоигр. Еще одна группа разрабатывает систему искусственного интеллекта для керлинга, которой в Канаде придается государственное значение.
Не так давно, в один из снежных дней в конце зимы, я посетил кампус. Полки в кабинете одного из профессоров были заставлены разнокалиберными кубиками Рубика. Находившийся дальше по коридору другой кабинет был завален причиндалами для гекса, любимой игры отца-основателя теории игр Джона Нэша[11]
. Шеффер, которого в его 63 года можно было запросто принять за Мела Брукса[12] или Ноама Хомского[13], сидел у себя в кабинете среди типичного академического хлама, состоявшего из бумаг, кофейных чашек, коробок и книг, включая зачитанный сборник партий Тинсли, который он изуродовал ножом несколько десятков лет назад. Кроме того, там были бобины с теперь уже старомодной магнитной лентой, на которой хранились первые базы данных Chinook. В углу, в большом синем виниловом пакете, лежали два кубка, когда-то завоеванные на мировых чемпионатах между человеком и машиной, а ныне явно нуждавшиеся в полировке. На одном было написано: «Второе место». На другом (вдвое более крупными буквами): «Чемпион».В кабинете также стояла стопка экземпляров книги самого Шеффера, в которой он излагал свою интерпретацию истории проекта. Посвящение во втором издании мемуаров о создании программы гласило: «Стеф и Ребекке за их неизменные терпение и любовь. Наконец, все завершено. Честно!». Но пара развелась – человеческие взаимоотношения проиграли шашкам и искусственному интеллекту.