В августе 1994 года программа Джонатана Шеффера сыграла с Тинсли шесть партий, все шесть вничью, после чего Тинсли снял матч по болезни и отдал титул. Двумя годами раньше, в Лондоне, тот же Тинсли выиграл у Chinook 4:2 при 33 ничьих.
Ради этих двух списков паспорт и существует. Матч — это результат конкретной серии партий в конкретных условиях, и почти всё, что из него обычно выводят, из него не следует.
Один SMP-сервер Silicon Graphics Challenge. Страница проекта Chinook называет 18 процессоров, 1 ГБ оперативной памяти и 10 ГБ диска; пресс-релиз самой SGI за 1994 год — Challenge XL с 16 процессорами, 1 ГБ памяти и пятью дисками по 2 ГБ. Расхождение источники не снимают. Наготове стояла резервная машина Onyx.
Источники: проект Chinook, Университет Альберты, 1994; Silicon Graphics, Inc., 1994У каждой строки своя граница системы, и она стоит над числом, а не под ним: восемьсот ватт кремния и восемьсот ватт установки от розетки — это не одно число с разной точностью, а два разных числа. Обучение модели и одна сыгранная партия тоже стоят порознь и не складываются: первое было потрачено до матча и один раз, второе — за те часы, что люди сидели за столом.
Паспортный максимум стойки Challenge из руководства владельца SGI: 208–240 В, до 30 А, 5700 Вт, от одного до трёх блоков питания по 1900 Вт. Это потолок шасси, а не потребление той конфигурации, что играла матч.
Нижняя граница выведена из паспортной теплоотдачи шасси в том же руководстве — 10 900 БТЕ/ч, что даёт около 3.2 кВт. Верхняя — паспортный электрический максимум 5700 Вт. Реальное потребление сервера с 16–18 процессорами не измерялось никем; охлаждение зала не учтено.
Цена записана номиналом своего года и своей границей: железо матча, весь проект и аренда вычислений — три разные суммы, и какая из них названа, сказано над каждой.
Цены машины нет ни в пресс-релизе SGI, ни на страницах проекта Chinook; прайс-листа Silicon Graphics на Challenge XL за 1994 год найти не удалось. Машину предоставил спонсор матча — сама Silicon Graphics, то есть покупки под матч, скорее всего, и не было.
Источники: Silicon Graphics, Inc., 1994200 000 позиций в секунду — пересчёт из формулировки пресс-релиза SGI «до 12 миллионов позиций в минуту»; это заявление производителя машины, а не независимый замер. Контроль времени матча в доступных источниках не описан: ни страницы проекта, ни пресс-релиз, ни поздние тексты Шеффера его не называют. Сколько секунд на ход тратил Тинсли и сколько программа — тоже неизвестно.
Источники: Silicon Graphics, Inc., 1994На любом графике человек идёт минимум двумя линиями: мозг (20 Вт) и человек за доской (105–126 Вт). Одна линия против ватт машины — это не сравнение, а выбор ответа. И обе линии всё равно несравнимы с машинными: у машины в счёт не идёт обучение, у человека — двадцать лет, за которые он научился играть.
Мозг взрослого в покое. Нижняя физиологическая граница, а не цена одного хода.
Двадцать ватт — не показание прибора, а пересчёт, и сходятся к нему два независимых пути. Первый: Райхл и Гуснард (PNAS, 2002) пишут, что мозг составляет около 2 % массы тела и потребляет около 20 % кислорода и калорий организма; 20 % от основного обмена взрослого (см. строку body_resting, 60–90 Вт) дают 12–18 Вт, а от обмена сидящего человека (100–125 Вт) — 20–25 Вт. Второй, более прямой: классические измерения мозгового кровотока методом Кети — Шмидта дают потребление кислорода мозгом 3,3–4,0 мл на 100 г в минуту (Соколов и др., 1955). При массе мозга около 1400 г это 46–56 мл кислорода в минуту; при энергетическом эквиваленте кислорода около 20,9 Дж/мл получается 16–20 Вт. Оба пути дают 16–21 Вт, и 20 — округление к верхнему краю. Метка M этому числу не полагается: измеряли потребление кислорода, а не ватты.
Весь организм в покое — основной обмен. Взрослый лёжа, натощак, в тепловом комфорте.
Пересчёт из килокалорий в сутки. Одна ккал/сутки = 4184 Дж / 86 400 с = 0,04843 Вт. Уравнение Миффлина — Сент-Джиора (1990), принятое сегодня как рабочий стандарт вместо Харриса — Бенедикта: мужчина 70 кг, 175 см, 40 лет — 1599 ккал/сутки, то есть 77 Вт; мужчина 80 кг, 180 см, 30 лет — 1780 ккал/сутки, 86 Вт; женщина 60 кг, 162 см, 40 лет — 1252 ккал/сутки, 61 Вт. Отсюда диапазон 60–90 Вт, покрывающий взрослых обоих полов обычного сложения. Это лёжа и натощак; человек, сидящий за доской, тратит больше — см. следующую строку.
Человек, сидящий за доской. Именно эту величину честно ставить против ватт машины, если уж ставить.
Из таблиц метаболической теплопродукции, на которых стоят стандарты теплового комфорта: ISO 8996 и ASHRAE 55. Единица «мет» определена как 58,2 Вт на квадратный метр поверхности тела и означает человека, сидящего в покое в тепловом нейтралитете. Стандартный взрослый — 70 кг, 175 см, площадь поверхности по Дюбуа 1,8 м². Отсюда: сидит спокойно, 1,0 мет — 105 Вт; сидит и работает (офисная деятельность), 1,2 мет — 126 Вт. Это полная теплопродукция тела, а не доля мозга. Оговорка: таблицы ISO и ASHRAE восходят к обзору Пассмора и Дурнина 1967 года и с тех пор не пересматривались. Разброс, который называют советники, — «70–100» и «100–120» — это не спор, а два разных определения: первое — основной обмен, второе — сидящий человек. А вот «150–300 Вт» для сидящего неверно: по тем же таблицам 150–210 Вт — это стояние и лёгкая физическая работа, а 300 Вт — ходьба.
Прирост от напряжённой умственной работы. Надёжного числа нет, и это само по себе результат: прирост мал настолько, что его трудно измерить.
Самая прямая проверка сделана семьдесят лет назад и до сих пор не опровергнута. Соколов, Мангольд, Векслер, Кеннеди и Кети (Journal of Clinical Investigation, 1955) измерили кровоток и потребление кислорода мозгом у 13 человек в покое и во время устного счёта. Электроэнцефалограмма во время счёта менялась явно — сдвиг к низкоамплитудному высокочастотному ритму, — пульс и артериальное давление росли, а потребление кислорода мозгом не изменилось: в их формулировке значения контроля и счёта были идентичны. Авторы прямо пишут вывод, ради которого эту работу стоит помнить: ни степень умственной активности, ни картина ЭЭГ не коррелируют с общим потреблением кислорода мозгом. Современная визуализация не отменила этого, а уточнила: локально кровоток в работающей зоне растёт заметно, но по мозгу в целом прирост, вызванный задачей, обычно меньше 5 % от базового уровня (Райхл и Минтун, Annual Review of Neuroscience, 2006). Пять процентов от 20 Вт — это меньше одного ватта, и это верхняя граница, а не измерение. Чего здесь нет и не будет: цифры «гроссмейстер сжигает 6000 килокалорий в день». Она пошла из статьи ESPN 2019 года со ссылкой на Роберта Сапольски и восходит к утроенной частоте дыхания, умноженной на 2000 ккал. Ни один калориметр в этой цепочке не участвовал. Что при напряжённой игре действительно растёт — это симпатическая активация: пульс, давление, дыхание, мышечный тонус. Она поднимает расход всего тела, а не мозга, и величина этого подъёма для шахматного матча не опубликована.
Эти четыре строки одинаковы на всех девяти страницах, потому что человеческая сторона стола во всех девяти матчах была одна и та же. Двадцать ватт — это мозг, а не человек: за доской сидел весь организм, и ставить орган против розетки машины — способ выбрать нужный ответ заранее.
Это не железо матча: оно посчитано выше, в разделе «Железо», вместе со своей энергией и своей ценой. Здесь другое — процессор, который в том же году стоял на столе у обычного человека, пока за доской работала машина. Тот же год, другая сторона стола.
Intel Pentium, поступивший в продажу годом раньше: один процессор, 60–66 МГц. Восемнадцать процессоров в одном корпусе потребительским товаром не были вообще.
Марион Тинсли был профессором математики и чемпионом мира по английским шашкам. С 1950 года и до смерти в 1995-м он проиграл семь партий. Не семь матчей — семь партий; две из них Chinook. Программу с 1989 года вела группа Джонатана Шеффера в Университете Альберты. К 1994 году Chinook работал на восемнадцатипроцессорном Silicon Graphics Challenge с гигабайтом памяти и десятью гигабайтами диска и опирался на базы окончаний: любая позиция с восемью шашками и меньше была просчитана до конца заранее. Базы наращивали годами, от четырёх шашек к восьми, и это была отдельная вычислительная работа, не имевшая отношения к тому, как программа играет середину. Асимметрия была полной с обеих сторон. Одна сторона знала конец игры наизусть и не могла в нём ошибиться вообще; другая знала середину лучше всех, кто когда-либо жил.
Описание матчей и конфигурации машины — архив проекта Chinook, Университет Альберты; Дж. Шеффер, «One Jump Ahead», 1997. Счёт поражений Тинсли за 1950–1995 годы приводится в биографических материалах о нём и у Шеффера.В 1990 году Chinook по спортивному результату получил право оспаривать звание чемпиона мира, и федерации отказались допустить программу к человеческому титулу. Тинсли сложил титул, чтобы сыграть; для матча учредили отдельное звание чемпиона мира среди людей и машин. На кону, таким образом, стояло не первенство в шашках, а вопрос, есть ли вообще смысл сажать их за одну доску. Тинсли к вопросу относился спокойно: в партии, которую вспоминает Шеффер, программа ошиблась на десятом ходу, Тинсли сказал «вы об этом пожалеете» и выиграл двадцать шесть ходов спустя. Федерации, не пустившие Chinook к титулу, действовали по-своему логично: звание чемпиона мира по шашкам — человеческое, и машине в нём делать нечего. Тинсли считал иначе, и отдельное звание учредили специально под этот матч. Другого способа посадить их за одну доску не нашлось.
История с титулом и эпизод с фразой — Дж. Шеффер, «One Jump Ahead», 1997; хроника матчей в архиве проекта Chinook.Матч 1992 года в Лондоне занял тридцать девять партий: Тинсли выиграл со счётом 4:2 при тридцати трёх ничьих. Две проигранные им партии — это две седьмых всех поражений его жизни. Реванш начался 15 августа 1994 года в Компьютерном музее Бостона. Шесть партий, шесть ничьих; во второй Chinook был близок к победе. За минуту до седьмой Тинсли сказал, что ему нехорошо, и ушёл к врачу; наутро он снялся с матча. Через неделю ему диагностировали рак поджелудочной железы. Титул присудили программе. Тинсли умер 3 апреля 1995 года. Матч так и не был доигран, и кто выиграл бы его, не знает никто. Между двумя матчами прошло два года, и разрыв за это время сократился: в Лондоне Chinook выиграл две партии и проиграл четыре, в Бостоне не проиграл ни одной.
Счёт лондонского матча и хроника бостонского — архив проекта Chinook, Университет Альберты; даты болезни и смерти — биографические материалы о Тинсли.В 2007 году группа Шеффера объявила, что английские шашки решены: при безошибочной игре обеих сторон — ничья. На это ушло восемнадцать с половиной лет счёта и игра размером около пяти на десять в двадцатой степени позиций. С того дня вопрос «кто был сильнее» закрыт не в пользу человека и не в пользу программы: в игре, которую ни одна сторона не может выиграть, рекорд Тинсли означает, что человек сорок лет подряд почти не отклонялся от ничьей. Chinook получил титул, но единственный полностью доигранный матч с Тинсли он проиграл, а переигрывать было уже не с кем. Это не утешение и не приговор. Это всё, что известно, и большего известно не будет.
Дж. Шеффер и др., «Checkers Is Solved», Science 317(5844), 2007; объём игры — 5×10²⁰ позиций, срок счёта — с 1989 года.