является международным мастером спорта по шахматам, победителем чемпионата Шотландии по шахматам (1968-го, в 1975-м разделил первое место со Стивеном Суонсоном), а в 1972 г. играл на первой доске за команду Шотландии на Шахматной олимпиаде в Скопье. Как видите, мы совсем близко, до искомого эндшпиля уже практически рукой подать.

Кроме игры в шахматы и очевидного интереса к теме ИИ, Дэвид Леви также является заядлым спорщиком.

В 1968 г. Леви и Джон Маккарти, один из пионеров шахматного программирования (и автор термина «искусственный интеллект», о чём мы упоминали в начале книги), встретились на вечеринке, устроенной Дональдом Мичи. Маккарти пригласил Леви сыграть в шахматы — и последний одержал победу. Маккарти прокомментировал эту победу словами: «Вы можете победить меня, но через десять лет появится компьютерная программа, которая сможет победить вас». Леви предложил заключить пари, и Маккарти согласился. Спорщики поставили по 500 фунтов, это была более чем внушительная сумма, эквивалентная примерно 14 000 долларов 2023-го[522]. По признанию самого Леви, в то время он зарабатывал 895 фунтов в год[523]. Позже ставка более чем удвоилась, когда к ней присоединились Дональд Мичи, Сеймур Пейперт из Массачусетского технологического института и Эд Коздровицкий из Калифорнийского университета в Дейвисе.

Забегая вперёд, скажем, что Леви одержал победу в этом пари, выиграв в последующие годы несколько матчей против различных программ (Chess 4.5, Каиссы и MacHack), включая решающий матч 1978 г. против программы Chess 4.7 в Торонто[524], [525], а в 1984 г. Леви выиграл вторую, на этот раз пятилетнюю ставку в пари против разработчиков программы Cray Blitz[526].

Но вернёмся назад, когда исход этого пари ещё был неясен, а Леви не прекращал спорить.

В 1973 г. во время Северо-Американского чемпионата по шахматам среди компьютерных программ (North American Computer Chess Championship, NACCC), организованного Ассоциацией вычислительной техники (Association for Computing Machinery, ACM) в Атланте, Леви поспорил с создателями программы CHAOS, которые выразили сомнение в его заявлении о том, что в течение года они не смогут запрограммировать компьютер для правильной игры в окончании «король и ладья с пешкой против короля и ладьи» так, чтобы машина всегда была способна выиграть, находясь в выигрышной позиции, и никогда не проигрывала в ничейной. Сумма пари составила 100 долларов, и спустя год, в ноябре 1974 г., Леви получил деньги, поскольку программисты признали, что задача оказалась слишком сложной для них.

Однако удача не всегда способствовала Леви, и как минимум одно знаменитое пари он проиграл. Этот спор в истории компьютерных шахмат носит название «Скотч против водки» (Scotch versus Vodka). Как пишет сам Леви, «будучи довольно жадным», он решил повторить успех пари с создателями CHAOS и в декабре 1974 г., находясь в Москве, заключил аналогичное пари с Владимиром Арлазаровым: в случае поражения Леви должен был подарить Арлазарову двенадцать бутылок скотча, а в случае победы Леви должно было достаться двенадцать бутылок водки. Примерно через год спор завершился победой Арлазарова, под началом которого как раз и работали Комиссарчик и Футер, успешно решившие упомянутое окончание при помощи программы, использующей метод ретроспективного анализа[527], [528].

Ещё одна беседа спорщика Леви имела неожиданные последствия. В составе команды разработчиков другой шахматной программы — Belle — в чемпионате 1974 г. участвовал Кен Томпсон, сегодня больше известный как создатель операционной системы Unix (совместно с Деннисом Ритчи), языка программирования Би, ставшего предшественником Си, а также кодировки UTF‑8. Томпсон вспоминает: «…после игр мы разговаривали в баре, и он [Леви] утверждал, что „компьютеры не могут играть эндшпили, даже простые, и они никогда не смогут“. Он сказал: „Я эксперт в окончании «ладья и пешка против ладьи», и компьютер никогда не сможет играть этот эндшпиль“. В тот вечер я пошёл в свою комнату, произвёл расчёты и пришёл к выводу, что задача вычислима, что вы можете получить решение этой игры, решить её с помощью иного механизма, понимаете, не с помощью обычных [алгоритмов] компьютерных шахмат, а совсем другим способом. Вы можете просто получить ответ, посмотреть его и составить таблицу правильных ходов. Вернувшись на следующий день, я сказал ему [Леви] об этом, на что он ответил „не-не, это потребует слишком большого числа полуходов, вы знаете“, на что я сказал „нет, это не зависит от числа полуходов, это другой метод“, но он ответил „о нет“, он просто отмахнулся от меня, и я, знаете, не просто разозлился, это не то слово, я… знаете… знаете… я пошёл домой и около десяти лет посвятил эндшпилям»[529].

История успехов Томпсона в области компьютерного анализа шахматных окончаний началась, как это ни странно, ещё с одного знаменитого спора.

Альфред Шейнволд, всемирно известный эксперт по бриджу, в одной из своих статей упоминает несколько ценных советов, которые он получил от отца в юности. «Сын! — говорил старший Шейнволд. — Однажды ты встретишь незнакомца, который предложит тебе поспорить на пять долларов, что он сможет заставить пикового вальта выпрыгнуть из колоды и пустить струю пива тебе в ухо. Сын, не спорь с ним, потому что если ты сделаешь это, то получишь полное ухо пива»[530]. К глубокому его сожалению, гроссмейстер Уолтер Браун, по всей видимости, игнорировал мудрость предков, поэтому получил струю условного пива в своё условное ухо. Браун позарился на ​​100 долларов, предложенные Томпсоном за победу над машиной в окончании «король и ферзь против короля и ладьи». Несмотря на два с половиной часа, выделенных на обдумывание, и целых пятьдесят ходов, гроссмейстер не смог выполнить задание и был вынужден заплатить. Казалось бы, какая ерунда, любой учебник шахматных окончаний рассказывает, как выиграть с ферзём против ладьи. Это действительно так, при правильной игре сильнейшая сторона гарантированно добивается победы, но оказалось, что это окончание намного сложнее, чем кто-либо мог предположить.

Свои результаты по анализу эндшпиля «ладья и король против ферзя и короля» Томпсон представил в 1977 г. на конференции Международной федерации по обработке информации. Помимо пари с Брауном, Томпсон провёл несколько показательных выступлений. Против программы пытались играть Ханс Берлинер, экс-чемпион мира по переписке, и Лоуренс Дей, чемпион Канады. Ни тот ни другой не смогли выиграть у программы, хотя любая позиция была для них выигрышной. В 1978 г. Брауну удалось наконец взять реванш: забрав ладью ровно на 50-м ходу, он всё-таки смог выиграть в позиции, в которой при идеальной игре победа достигалась за 31 ход.

В 1970–1980-е гг. Томпсоном и другими энтузиастами были посчитаны все четырёхфигурные окончания,