🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
Claude Opus 4.6 за час решил задачу из теории графов, над которой Дональд Кнут бился неделями
Легенда IT и автор "Библии программирования" Дональд Кнут официально признал силу нейросетей, начав свою новую статью со слов "ШОК! ШОК!". Модель Claude Opus 4.6 за час раскусила открытую задачу из теории графов, над которой Кнут безуспешно бился несколько недель.
Нужно было найти закономерность разложения сложного графа на гамильтоновы циклы для любого числа m. Великий математик смог осилить только частный случай для тройки, а ИИ сгенерировал общую конструкцию (и код на Python) для всех нечетных чисел вплоть до 101.
Конечно, магия не сработала по одному клику. Коллеге Кнута пришлось повозиться с промптами, ИИ ошибался, забывал контекст и требовал перезапуска сессий. На это ушел 31 подход. Более того, нейросеть просто выдала работающую схему, а вот доказывать её математическую строгость пришлось уже самому Кнуту. С четными числами алгоритм вообще не справился, зависнув на этапе гипотез.
Но случай интересный, ведь человек, который написал "Искусство программирования" и всегда скептически относился к хайпу вокруг ИИ, открыто признал: "Похоже, мне придётся пересмотреть свои взгляды на генеративный ИИ".