Как генеративный AI «Claude Opus 4.6.» решил сложную математическую задачу куб из m
Как генеративный AI «Claude Opus 4.6.» решил сложную математическую задачу куб из m³
Опыт: Дональд Кнут работал несколько недель. Claude решил задачу за час.
«Шок! Шок! Я узнал вчера, что открытая задача, над которой я работал несколько недель, только что была решена Claude Opus 4.6.»
Это написал 28 февраля 2026 года Дональд Кнут — лауреат премии Тьюринга, создатель TeX и «Искусства программирования». Вчера Reddit нашёл статью — и тред взорвался.
Задача была про куб из m³ точек: нужно нарисовать три маршрута, каждый из которых проходит через все точки ровно по одному разу, не повторяя ни одну, — и найти правило для куба любого нечётного размера. Формально: разбиение вершин m³-вершинного ориентированного графа на три Гамильтонова цикла для всех нечётных m > 2. Кнут работал над этим несколько недель.
Коллега Кнута Filip Stappers провёл с Claude около 31 итерации примерно за час.
Не один промпт — управляемый процесс: модель пробовала brute force, serpentine-паттерны, fiber decompositions, simulated annealing, заходила в тупики и меняла стратегию.
На 31-й день — получилась рабочая конструкция.
Паттерн нашёл Claude — доказательство написал Кнут. Он верифицировал результат, обобщил и вывел строгое математическое доказательство сам. Конструкция переоткрыла код Грея — классическую структуру в комбинаторике. Существует ровно 760 таких разложений, она работает для всех нечётных чисел до 101.
«Какая радость — не только узнать, что моя гипотеза имеет красивое решение, но и отпраздновать этот драматический прогресс в автоматическом выводе и творческом решении задач.»
— Дональд Кнут, «Claude's Cycles», 28 февраля 2026
Статью Кнут назвал в честь модели. И добавил: «Похоже, мне придётся пересмотреть своё мнение о генеративном AI в один из этих дней.»
Кнут 50 лет учил людей думать алгоритмически. Теперь алгоритм удивил его самого.
— Когда скептик пересматривает мнение письменно — это не реклама, это данные. • Лера
