3.4.4 Первый матч против чемпиона мира
В 1991 г. Американская шашечная федерация и Английская ассоциация шашек (English Draughts Association, EDA) решили не санкционировать матч Chinook — Тинсли на том основании, что компьютеры не могут претендовать на звание чемпиона мира по шашкам. Они постановили, что Тинсли будет защищать свой титул против действующего английского чемпиона Дерека Олдбери. Тинсли, однако, хотел сыграть с Chinook — его привлекал тот факт, что, в то время как люди в партиях с чемпионом стремятся к ничьей, машина практикует агрессивный, атакующий стиль. Он не смог убедить ACF и EDA принять Chinook в качестве претендента в матче за титул чемпиона мира и заявил, что отказывается от титула в пользу Олдбери. Обе организации пытались убедить Тинсли передумать, но он твёрдо стоял на своём. В августе ему было присвоено звание «Почётный чемпион мира» (World Champion Emeritus) в знак признания особых заслуг перед миром шашек.
Никто не сомневался, что Тинсли по-прежнему остаётся лучшим игроком среди людей. Таким образом, любой матч между ним и Chinook будет де-факто матчем за звание лучшего игрока планеты. Понимая это, ACF в конечном итоге решила санкционировать матч под вывеской «Первого чемпионата мира по шашкам человек против машины» (First Man versus Machine World Checkers/Draughts Championship).
Матч был организован в августе 1992 г. в отеле Park Lane в Лондоне, там же, где в 1986 г. проходил матч на первенство мира по шахматам между Гарри Каспаровым и Анатолием Карповым. Призовой фонд составлял 10 000 долларов, которые должны были быть разделены в соотношении 60 : 40 в пользу победителя либо 50 : 50 в случае ничьей. Матч состоял из сорока партий, что являлось сложившимся стандартом для чемпионских матчей между людьми[1], [2].
За два года, предшествовавших матчу, Chinook успел сыграть несколько товарищеских матчей с ведущими шашистами, в том числе и с самим Тинсли: товарищеский матч 1990 г. завершился победой Тинсли, который выиграл одну партию при 13 ничьих. В 1991 г. Chinook также уступил в матче Дону Лафферти, но тоже с минимальным разрывом — 2 : 3 при 11 ничьих. В 1992 г. состоялись матчи с учителем Тинсли Асой Лонгом — ничья 1 : 1 при 18 ничьих, а также с известным экспертом в области шашек Джимом Лоем — 3 : 0 при одной ничьей. Chinook также выступил на Открытом чемпионате южных штатов (Southern States Open), где занял первое место, и на Национальном чемпионате США, где разделил 2–6-е места (впрочем, оказавшись на 6-м месте по дополнительным показателям) с тремя гроссмейстерами и программой Гила Доджена.
Всё выглядело так, как будто с 1990 по 1992 г. прогресс в силе игры программы не был существенным. Конечно, противники Chinook были экстраординарными. В одной из партий товарищеского матча с Тинсли чемпион так прокомментировал десятый ход программы: «Вы пожалеете об этом!» [You’re going to regret that!] Программа смогла увидеть поражение лишь на 33-м ходу, анализируя позицию на 19 полуходов вперёд. Вряд ли Тинсли на десятом ходу рассчитал победный вариант на глубину в 65 полуходов, однако понимание тонкостей позиции позволяло ему видеть победу задолго до материализации преимущества.
При этом технически с 1990 г. Chinook проделал долгий путь в своём развитии. Программа получила возможность осуществлять параллельный перебор на многопроцессорных компьютерах. Для матча с Тинсли компания-спонсор Silicon Graphics предоставила восьмипроцессорную машину SGI 4D/480. К началу матча с Тинсли Chinook обладал полным набором семишашечных таблиц окончаний и 43% восьмишашечных. Было внесено множество доработок в оценочную функцию[3].
Но быстрое развитие порождает болезни роста. Недостаточно проверенные новации зачастую опаснее, чем отсутствие новшеств. Отдельные моменты из воспоминаний Шеффера сегодня способны напугать программистов почище иного триллера. Как вам, например, внесение изменений в оценочную функцию программы прямо во время матча? Да ещё и добавление новых элементов оценки с весами, выбранными на глазок? А выводы, сделанные на основе всего лишь сотни партий между двумя версиями программы, да ещё и завершившихся с разрывом всего в несколько очков? Сегодня подобное трудно представить: десятки тысяч проверочных игр, тонкая настройка каждого параметра при помощи сотен тысяч партий, проверки проверок, учёт и контроль. Мир программирования игрового ИИ в 1990-е с позиции сегодняшних практик выглядит как мир Дикого Запада.
Был и другой фактор, действие которого нельзя недооценивать: не только Chinook изменился за эти два года, но и люди. Если в 1990 г. многие сильнейшие игроки недооценивали программу, играли против неё слишком беспечно, не понимали её специфических слабостей, то теперь против Chinook играли уже всерьёз: партии программы обсуждались и анализировались, производилась интенсивная дебютная подготовка.
Но вернёмся к противостоянию с чемпионом мира.
Итак, матч с Тинсли начался. Четыре первые партии окончились вничью. Пятую Chinook проиграл — причиной стал ошибочный вариант в дебютной библиотеке. Он был позаимствован из книги «Основы игры в шашки» (Basic Checkers), и хотя на момент матча Тинсли с Chinook уже было известно, что соответствующая позиция оценивается неправильно, однако команда Шеффера об этом не знала.
Но в восьмой партии матча программе удалось впервые выиграть у Тинсли, тем самым доказав на практике, что такое возможно! В 14-й партии Chinook смог выиграть ещё раз и тем самым повести в счёте.
Однако с 18-й партии Chinook стали преследовать неприятности. Началось всё с ошибки охранника отеля, который вместо того, чтобы в конце дня выключить свет и включить кондиционер в комнате, где находилась машина, сделал всё ровным счётом наоборот — выключил кондиционер и включил свет. На следующий день в 18-й партии программа зависла, и команде Chinook пришлось признать поражение. Было ли это зависание результатом перегрева машины или виной были дефекты при программировании многопроцессорной версии? Это так и не удалось с точностью установить, хотя позже в программе обнаружили ряд ошибок, и как минимум одна из них теоретически могла привести к зависанию.
В 22-й партии проблема повторилась, и Шефферу пришлось перейти на более медленный запасной компьютер (сама партия закончилась вничью). Тинсли выиграл 25-ю партию (программе не хватило примерно двух минут для того, чтобы отказаться от ошибочного хода и выбрать правильный) и захватил лидерство в матче. Длинная серия ничьих продолжалась до 39-й партии. Чтобы сохранить лидерство, Тинсли нужно было не проиграть, и более осторожная игра позволяла ему увеличить шансы на победу в матче. После 28-й партии Шеффер и его команда вносили в программу изменения, стараясь обострить игру, однако это не принесло успеха. Chinook потерпел ещё одно поражение в 39-й партии, и тем самым матч завершился победой Тинсли — из 39 сыгранных партий Тинсли выиграл четыре, Chinook — две, а остальные 33 завершились вничью.
Несмотря на поражение, Шеффер не собирался сдаваться. И что было не менее важно — Тинсли тоже не считал борьбу завершённой и поддержал идею организации нового матча, который, однако, состоялся только в 1994 г. из-за организационных проблем.
До этого, в 1993 г., Chinook поучаствовал в двух матчах. Первый, против Дона Лафферти, вновь закончился поражением программы (три поражения, одна победа и 14 ничьих). Шеффер героически сражался с ошибками — казалось, они были повсюду: в новом коде для различения «лёгких» и «трудных» ничьих, в новых восьмишашечных таблицах окончаний, в дебютной библиотеке.
Второй матч 1993 г. был не менее трудным: Chinook должен был встретиться с программой Colossus Мартина Брайанта, которая нанесла ему поражение на Компьютерной олимпиаде 1990-го. Дело в том, что критики Chinook нередко указывали на то, что программа Шеффера, возможно, была не самой сильной шашечной программой. В конце концов, если Chinook уступил программе Colossus в 1990 г., быть может, именно Colossus должен был играть матч с Тинсли? Требовалось поскорее разрешить эти сомнения[4].
Матч, организованный в канадском Эдмонтоне, завершился уверенной победой Chinook — девять побед, два поражения и 43 ничьих. Да-да, в мире спорта такая разница в очках считается «уверенной победой». Если принять вероятность ничьей в партии между Chinook и Colossus за 43/54, то получается, что при абсолютно равной силе игры обеих программ вероятность того, что матч из 54 партий между ними закончится с разницей в семь очков и более составляет около 5%, что, в общем-то, не так уж мало. Впрочем, с 1990 г. это действительно был самый надёжный турнирный результат. Основываясь на результатах игр Chinook против Тинсли, совершенно нельзя было быть уверенным в том, что Тинсли играет сильнее программы. Даже результаты турниров из нескольких десятков партий во многом зависят от случая — это понимали и Шеффер и Тинсли.
По итогам матча Шеффер и Брайант расстались друзьями. Шеффер передал Брайанту шестишашечные таблицы окончаний, а Брайант передал Шефферу дебютную библиотеку Colossus, которая примерно в восемь раз превосходила по размеру библиотеку Chinook. Позже Брайант стал постоянным помощником Шеффера в работе над программой.
Следующий, 1994-й год для команды Шеффера тоже был богат событиями. Chinook без единого поражения выиграл матч против Дерека Олдбери, который был объявлен чемпионом мира после ухода Тинсли: три победы и девять ничьих (к сожалению, этот матч стал для Олдбери последним в его жизни, он скончался 9 июля 1994 г.). Затем последовал матч с Доном Лафферти, завершившийся миром: 18 ничьих при отсутствии результативных партий. Два выступления в турнирах также завершились благоприятно: первое место в Открытом чемпионате южных штатов[5] и делёж с Лафферти и Тинсли 1–3-го мест в Национальном чемпионате США (по дополнительным характеристикам ниже Лафферти, но выше Тинсли!)[6].
- ↑ Propp J. (1999). Chinook (a report on the 1994 Man-Machine World Checkers Championship) // http://faculty.uml.edu/jpropp/chinook.html
- ↑ Kucharski A. (2016). The Perfect Bet: How Science and Math Are Taking the Luck Out of Gambling. Basic Books // https://books.google.ru/books?id=abBVDgAAQBAJ
- ↑ Schaeffer J. (2008). One Jump Ahead: Computer Perfection at Checkers. Springer US // https://books.google.ru/books?id=IVumOsLLqgAC
- ↑ Schaeffer J. (2008). One Jump Ahead: Computer Perfection at Checkers. Springer US // https://books.google.ru/books?id=IVumOsLLqgAC
- ↑ Schaeffer J. (2008). One Jump Ahead: Computer Perfection at Checkers. Springer US // https://books.google.ru/books?id=IVumOsLLqgAC
- ↑ 1994 3-Move Nationals Location: Garland, Texas / The American Checker Federation // https://www.usacheckers.com/nats1994.php