60 лет, семь томов в планах: Кнут всё ещё пишет «Искусство программирования»

Незаконченный монумент, который анонсирует всё новые тома

Страница Кнута, посвящённая «Искусству программирования», читается как дневник прогресса, который он ведёт уже больше полувека. Тома 1–3 были закончены в 1990-х. Том 4A вышел в 2011 году, том 4B появился в 2023-м на 714 страницах, а в 2025-м добавился 281-страничный выпуск про удовлетворение ограничений. Впереди, по словам самой страницы: оставшаяся часть тома 4, затем том 5 про разбор (parsing), затем план вернуться и переработать тома 1–3, и только после этого тома 6 (контекстно-свободные языки) и 7 (техники компиляции): «но только если то, что я хочу сказать по этим темам, всё ещё актуально и ещё не было сказано».

У книги своя внутренняя экономика. Кнут платит 2,56 доллара (один шестнадцатеричный доллар, 0x$1.00) за каждую найденную ошибку и 32 цента за дельное предложение. В 1999 году журнал American Scientist включил серию в число двенадцати лучших монографий века по точным наукам, вместе с работами Эйнштейна, Фейнмана и Мандельброта. Полный комплект официальных электронных книг стоит около 340 долларов, и Кнут просит не сообщать об опечатках в электронной версии, если та же ошибка не встречается в бумажной.

Чеки, юмор и ассемблер, о котором до сих пор спорят

В треде чеки-награды всплыли первыми, и вовсе не как курьёз.

«Получить один из чеков Дона («Bank of San Serif») спустя пару месяцев после того, как укажешь на ошибку, для многих учёных-компьютерщиков стало вершиной карьеры!». — профессор, изучающий ИИ, который написал свой первый компилятор ещё в школе

Репутация у книги пугающая, но, по словам нескольких читателей, читать её вовсе не страшно.

«Даже если просто открывать её как книгу для журнального столика, это прекрасное чтение, которое разбавляет сложные разделы юмором». — читатель, прошедший от корки до корки первые два с половиной тома

Код в TAOCP написан на MIX и его преемнике MMIX, собственном идеализированном ассемблере Кнута. Этот выбор до сих пор делит читателей на два лагеря.

«При всей ценности текста, мне никогда не нравилось, что примеры кода даны на псевдоассемблере». — давний читатель книги в треде

Заметка самого Кнута о машине, которая опередила его с доказательством

Самый резкий поворот темы дал сам Кнут: его нашёл комментатор, отслеживающий последние препринты учёного. В заметке, датированной февралём этого года и озаглавленной «Цикл Клода», Кнут описал, как автоматическая система решила гипотезу, которую он сам сформулировал:

«Похоже, рано или поздно мне придётся пересмотреть свои взгляды на «генеративный ИИ». Какая радость узнать не только, что у моей гипотезы есть красивое решение, но и стать свидетелем такого резкого скачка в автоматическом выводе и творческом решении задач». — комментатор, который нашёл препринты Кнута 2026 года

Вот в чём суть истории: характер. Человек, который отводит на каждый том десятилетия и рассылает чеки по 2,56 доллара за одну опечатку, увидел, как машина в короткой статье расколола проблему, которую сам оставил нерешённой, и потянулся за словом «радость». Том 7 по его же графику остаётся делом десятилетий. Гипотеза его ждать не стала.