Дональд Кнут в шоке: Claude Opus 4.6 решил его гипотезу

«Shock! Shock!» — так начинается статья, опубликованная на сайте Стэнфордского университета 28 февраля 2026 года. Её автор — не студент и не постдок, а 88-летний Дональд Кнут, человек, который буквально написал книгу о программировании. Точнее, четыре тома и считается одной из самых влиятельных фигур в истории информатики. Кнут несколько недель бился над задачей о разложении направленных гамильтоновых циклов в ориентированных графах — и не мог найти общее решение. А потом попросил Claude Opus 4.6. И тот решил.

Кто такой Дональд Кнут

Для тех, кто не сталкивался с академической информатикой: Дональд Кнут — это примерно как Эйнштейн для физики, только для Computer Science. Профессор Стэнфорда, автор монументального многотомника «The Art of Computer Programming», который начал выходить ещё в 1968 году и до сих пор считается библией алгоритмов. Кнут создал систему вёрстки TeX, которой пользуются миллионы учёных по всему миру. Он получил Премию Тьюринга — аналог Нобелевской премии в информатике — ещё в 1974 году, когда ему было 36 лет.

При этом Кнут всегда был известен своим скептическим отношением к «генеративному AI». Не враждебным — скорее трезво-сдержанным, как и подобает человеку, который провёл всю жизнь, разбираясь в фундаментальных основах вычислений. Он прекрасно понимал, что стоит за языковыми моделями, и не спешил записывать их в революционные инструменты для математики.

Именно поэтому то, что произошло в конце февраля, так поражает.

Задача о гамильтоновых циклах

Чтобы понять суть проблемы, начнём с базовых вещей. Граф — это набор точек (вершин), соединённых линиями (рёбрами). Ориентированный граф — это когда у каждого ребра есть направление, как на улице с односторонним движением. Гамильтонов цикл — это маршрут, который проходит через каждую вершину графа ровно один раз и возвращается в начальную точку.

Задача Кнута была устроена так. Возьмём число m > 2 и построим ориентированный граф с m³ вершинами. Каждая вершина обозначается тройкой индексов (i, j, k), где каждый индекс принимает значения от 0 до m−1. Из каждой вершины выходят ровно три дуги — к вершинам (i+1 mod m, j, k), (i, j+1 mod m, k) и (i, j, k+1 mod m). Проще говоря, из каждой точки можно «прокрутить» один из трёх индексов на единицу вперёд.

Кнут сформулировал гипотезу: для любого m > 2 все дуги этого графа можно разложить на ровно три направленных цикла длины m³ — то есть три гамильтоновых цикла, которые вместе покрывают каждую дугу графа ровно один раз.

Для случая m = 3 (граф с 27 вершинами) Кнут нашёл решение сам. Но обобщить его на произвольное m не получалось. Несколько недель работы — и никакого прогресса. Тогда он решил попробовать кое-что новое.

Как Claude решил задачу

Статья «Claude's Cycles», опубликованная Кнутом на сайте Стэнфорда, описывает этот процесс с поразительной честностью. Кнут сформулировал задачу и передал её Claude Opus 4.6 — гибридной модели рассуждений (hybrid reasoning model) от Anthropic, выпущенной тремя неделями ранее.

Что такое «гибридная модель рассуждений»? Opus 4.6 сочетает в себе обширные знания языковой модели с механизмом пошагового логического вывода. Модель не просто генерирует текст, который «похож на правильный ответ» — она выстраивает цепочку рассуждений, проверяет промежуточные шаги и может работать с формальными математическими конструкциями. Это принципиально отличает её от ранних языковых моделей, которые могли красиво сформулировать математическое утверждение, но не были способны на настоящее доказательство.

И Claude справился. Модель предложила конструктивное решение для произвольного m — не просто численную проверку для конкретных случаев, а общее доказательство гипотезы. Кнут проверил решение, убедился в его корректности и опубликовал статью, назвав её «Claude's Cycles» — «Циклы Клода».

Стоит подчеркнуть: речь не о задаче из учебника, которую можно нагуглить. Это была открытая проблема — нерешённая задача, над которой работал один из величайших математиков-информатиков современности. И решение нашла нейросеть.

Почему это историческое событие

Реакция Кнута, пожалуй, говорит больше, чем само решение. Человек, десятилетиями сохранявший скептическую дистанцию от AI-хайпа, написал:

«What a joy it is to learn not only that my conjecture has a nice solution but also to celebrate this dramatic advance in automatic deduction and creative problem solving.»

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

Слово «dramatic» в устах Кнута — это не маркетинговый восторг. Это оценка человека, который полвека занимается формальным анализом алгоритмов. Он добавил, что, видимо, придётся пересмотреть свои взгляды на «генеративный AI» — формулировка, которая для академика его уровня равносильна тектоническому сдвигу.

Пост на Reddit r/singularity с заголовком «Opus 4.6 solved one of Donald Knuth's conjectures» мгновенно набрал популярность, и это неудивительно. В AI-сообществе давно ждали момента, когда языковая модель решит задачу, которую не мог решить выдающийся математик. Были успехи в олимпиадной математике, были формализации известных теорем — но чтобы живой классик признал, что AI решил его собственную нерешённую задачу? Такое случилось впервые.

Этот эпизод принципиально отличается от предыдущих достижений AI в математике. Когда AlphaProof от DeepMind решал олимпиадные задачи на IMO 2024, критики справедливо замечали: олимпиадные задачи сложны, но у них есть решения, и система, натренированная на корпусе математических текстов, теоретически могла «видеть» похожие конструкции. Здесь же мы имеем дело с задачей, решения которой не существовало в открытом доступе, — потому что его не существовало вообще.

Что дальше

Статья Кнута была обновлена 6 марта 2026 года, что говорит о продолжающейся работе над материалом. Вероятно, решение будет включено в один из будущих выпусков «The Art of Computer Programming» — и тогда в академическом издании впервые появится доказательство, найденное нейросетью.

Для Anthropic это, пожалуй, лучшая реклама, какую можно представить. Никакой маркетинговый бенчмарк не сравнится с рецензией Дональда Кнута. Opus 4.6 и раньше показывала сильные результаты на математических тестах, но одно дело — цифры в таблице, и совсем другое — решение реальной открытой проблемы, подтверждённое автором этой проблемы.

Для более широкого AI-сообщества это сигнал о том, что гибридные модели рассуждений — не просто маркетинговый ход, а реально работающий подход. Способность выстраивать длинные цепочки логических рассуждений, проверять гипотезы и конструировать доказательства — именно то, чего не хватало предыдущему поколению языковых моделей.

Конечно, не стоит впадать в эйфорию. Одно решённое доказательство не означает, что AI готов заменить математиков. Скорее, это подтверждение того, что границы возможного сдвинулись — и сдвинулись достаточно, чтобы это признал даже 88-летний скептик из Стэнфорда, посвятивший всю жизнь искусству программирования.