Дон Кнут — автор The Art of Computer Programming, создатель TeX, лауреат Тьюринга — опубликовал заметку “Claude’s Cycles”.

Летом 2025 он вместе с Filip Stappers работал над старой открытой задачей по ориентированным графам для нового тома The Art of Computer Programming (TAOCP).
У этой линии задач история как минимум с 1982 года, то есть уже больше 40 лет.

Проблема на тот момент была такая: для нескольких частных значений параметров и отдельных классов графов решения уже существовали.
То есть “локально” задача продвигалась, но универсальной конструкции, которая закрывает общий случай, всё ещё не было.

На этом этапе они подключили Claude и дали конкретную цель: найти конструкцию, которую можно довести до общего результата для нечётного случая.

Дальше пошли серии попыток. Это был не один промпт “solve please make no mistakes”, а обычная исследовательская работа:

  • разные стратегии на нескольких прогонах
  • сужение пространства решений
  • фиксация инвариантов и промежуточных результатов

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

Мораль тут такая: инженеры из Claude Code/Codex для своих задач тщательно работают над окружением, контекстом и итеративным процессом агента. Так же и мы, простолюдины, можем улучшить качество решения задач, работая над созданием итеративного процесса, сохранением прогресса и вот этого всего для решения сложных задачек!