В 88 лет Дональд Кнут - живая легенда компьютерных наук, автор "The Art of Computer Programming" (TAOCP), библии для всех, кто пишет код. Он всё ещё стучит по клавишам, работая над четвёртым томом - фолиантом о комбинаторике. И вот вчера на сайте Стэнфорда всплывает его статья с заголовком, от которого мурашки. Оказывается, Claude Opus 4.6 от Anthropic решил проблему, над которой Кнут и его коллеги бились месяцами. Это не просто технарьский триумф - это момент, когда ИИ переплюнул гуру алгоритмов, заставив самого Кнута переосмыслить будущее генеративного AI. Задача, которая сломала умы. граф с m³ вершинами и гамильтоновы циклы Представьте трёхмерную решётку: вершины - все тройки чисел (i, j, k), где каждое от 0 до m-1. Всего m³ точек. Из каждой вершины три стрелки: +1 к i (по модулю m), +1 к j или +1 к k. Граф огромный, регулярный, как кубик Рубика на максималках. Задача: для любого m > 2 разбить все эти стрелки на три гамильтоновых цикла - каждый проходит через каждую вершину ровно раз, как идеальный маршрут туриста, не повторяющий шагов. Кнут наткнулся на неё при написании книги. Сам решил для m=3 вручную. Коллега Filip Stappers проверил компом для m=4 до 16 - работает эмпирически, но общего алгоритма нет. Люди бились: пробовали линейные конструкции, brute-force, симуляции. Ноль. Пока Stappers не скормил проблему Claude Opus 4.6. ИИ подумал час - и выдал решение для всех нечётных m. Кнут назвал это "Claude’s Cycles" и опубликовал доказательство сам. Как Claude это сделал. Не просто угадал - прошёл путь настоящего математика: Проверено компом до m=101 - идеально. Кнут добавил строгий proof, подтвердив, что циклы хамiltonовы. Реакция Кнута. От шока к восторгу "ШОК! ШОК!" - так начинается статья Кнута. Он пишет: "Похоже, мне придется пересмотреть свои взгляды на генеративный ИИ. Подход Claude был очень впечатляющим. Думаю, дух Клода Шеннона гордится, что его имя теперь связано с такими прорывами. Браво, Клод!" Для человека, который всю жизнь ругал спешку в алгоритмах, это признание - как Нобель для ИИ. Кнут даже пошутил, что радость не только в решении conjecture, но и в драматическом прорыве автоматического deduction и creative problem solving. Это из уст автора TAOCP - bible для Grok, GPT и всех ИИ. Итог Claude Opus 4.6 показал, что ИИ не копирует - он творит. Он вышел за рамки данных, синтезировал идеи из group theory и graph theory. Задача "Claude’s Cycles" войдёт в TAOCP как задача с ИИ-решение. Кнут продолжает писать свои исследования, но теперь с Claude под рукой. Эра, когда ИИ решает открытые проблемы гуру, началась.