Місяць тому Дональд Кнут зробив дещо таке, від чого інтернет мав би тріснути навпіл. 87-річний автор The Art of Computer Programming — багатотомної алгоритмічної біблії, перед якою комп'ютерні науковці б'ють поклони з 1960-х — опублікував математичну статтю під назвою 'Claude's Cycles'. Названу на честь ШІ-моделі. Бо ця модель знайшла те, чого він не зміг.

Інтернет, як і слід було очікувати, був надто зайнятий бенчмаркінгом чат-ботів на задачках з LeetCode, щоб це помітити.

Ось чому це важливіше за будь-яку війну лідербордів, за якою ви стежите цього тижня.

Кнут тижнями бився над задачею про гамільтонові розкладання орієнтованих графів. Переклад для людей: уявіть мережу одностороннього руху. Гамільтонів цикл — це маршрут, що проходить кожне перехрестя рівно один раз і повертається на старт — найефективніший барний марафон без повторів, фініш там, де старт. Кнуту потрібна була загальна конструкція, що працює для будь-якого непарного куба цих зв'язків розміром більше 2×2×2. Малі випадки він розв'язав вручну. Комп'ютери верифікували розв'язки до 16×16×16. Елегантне загальне правило? Тижні мозкового штурму. Нуль.

28 лютого Філіп Стапперс — колега — згодував задачу Claude Opus 4.6. За 31 керовану розмову протягом приблизно однієї години Claude атакував гіпотезу з усіх боків. Лінійні формули. Повний перебір. Геометричні фреймворки. Імітація відпалу — техніка, вкрадена з металургії, де ви 'нагріваєте' і 'охолоджуєте' розв'язок, щоб вирватися з локальних тупиків. Він бився в стіни. Змінював підхід. Продовжував.

А потім зламав задачу. Claude самостійно ідентифікував базову структуру як діграф Келі — специфічний тип мережі, побудований на операціях математичних груп — і переформулював задачу відповідно. Результуючий 'серпантинний' патерн виявився класичним кодом Грея — комбінаторною послідовністю, де сусідні елементи відрізняються рівно на один розряд. Claude вивів це з нуля, не знаючи, що класична версія існує. ШІ перевинайшов відому математичну структуру, розв'язуючи задачу, до якої жива легенда не могла підступитися.

Сухі цифри для педантів: 11 502 гамільтонових цикли для випадку 3×3×3. З них 1 012 узагальнюються на 5×5×5, а 996 працюють і для 5×5×5, і для 7×7×7. Рівно 760 'Claude-подібних' розкладань працюють для всіх непарних розмірностей більших за 1.

А тепер частина, де я зіпсую свято.

Claude не зробив цього сам. Навіть близько. Стапперс керував кожною з тих 31 розмов. Кнут писав формальний доказ сам. Випадок парних розмірностей — буквально друга половина задачі — залишається нерозв'язаним, і Claude не зробив жодного корисного кроку в цьому напрямку. Тобто ми говоримо про модель, яка за умілого людського штурманства розв'язала половину задачі у високоструктурованому домені. Не зовсім Скайнет.

Але ось що скептикам доведеться прожувати: 'умілий людський штурман' вже пробував. І зафейлив. Інструмент зробив різницю. Не маргінальну — якісну. Тижні зусиль одного з найкращих алгоритмічних розумів в історії, зламані за годину моделлю, яка не розуміє, що таке граф.

Кнут назвав це 'радістю дізнатися не лише про те, що моя гіпотеза має гарний розв'язок, а й відсвяткувати цей драматичний прорив в автоматичній дедукції'. А у переглянутій версії (16 березня) він написав: 'Схоже, мені доведеться переглянути свої погляди на 'генеративний ШІ' одного з цих днів'.

Від людини, яка забула про алгоритми більше, ніж більшість кафедр інформатики знають разом узятих — це речення вибухає тихо. Це не черговий LinkedIn-інфлюенсер, що проголошує перемогу штучного інтелекту. Це людина, яка визначила стандарти обчислювальної складності, визнає в опублікованій академічній статті, що її уявлення про ШІ були хибними.

А ми колективно відреагували, проскроливши повз, щоб посперечатися, чи справді контекстне вікно Gemini — два мільйони токенів.

Урок не в тому, що ШІ прийде по математиків. Він темніший і простіший. Люди, які найкраще позиціоновані для використання цих інструментів — доменні експерти з чіткими, добре визначеними задачами — отримують результати, що виглядають як магія. Всі інші використовують ті самі моделі для генерації постів у LinkedIn та суперечок про бенчмарки. Розрив між 'ШІ як гострий інструмент в руках експерта' і 'ШІ як фокус для вечірки' не скорочується. Він зростає.

Кнут назвав статтю на честь чат-бота не тому, що в 87 він розм'якшав. Він назвав її так, бо інтелектуальна чесність цього вимагала. ШІ знайшов відповідь. Він мав достатньо порядності, щоб це визнати.

Більшість із нас — не матиме. Ми й далі будемо прикидатися, що інструменти або марні, або всемогутні, бо некомфортна правда — що вони потужні, але тільки в компетентних руках — не вписується в нічий наратив.