Кнут в 2023 vs 2026: теорема в честь Claude

В начале марта Дональд Кнут опубликовал математическую работу под названием «Claude's Cycles». В ней он ввел новый термин — «Claude-like decompositions». Да, в честь того самого Claude.

Для тех, кто не в курсе: Дональд Кнут — это живая легенда Computer Science. Автор «The Art of Computer Programming», лауреат премии Тьюринга (это как Нобелевка в информатике). Ему 87 лет, почетный профессор Стэнфорда.

В 2023 году Кнут устроил публичный тест ChatGPT — задал 20 вопросов и разобрал ответы. Вердикт был жестким: нашел кучу галлюцинаций, заявил, что все, что оно умеет — делать вид, что что-то знает. «Категорически не для меня».

Три года спустя коллега Кнута задал Claude задачу из теории графов, над которой Кнут бился несколько недель. За час и 31 промпт Claude нашел решение — самостоятельно распознал ключевую математическую структуру, которая ускользала от исследователей. Кнут написал строгое доказательство. ИИ нашел путь, человек подтвердил.

Свою статью Кнут начал со слов «Shock! Shock!» И написал: «It seems that I'll have to revise my opinions about generative AI» — «Похоже, мне придется пересмотреть свое мнение о генеративном ИИ».

И Кнут не один. Терренс Тао — лауреат Филдсовской премии, один из сильнейших математиков мира — в марте 2026 заявил, что ИИ созрел для серьезной работы в математике и теоретической физике. Академическая старая школа двигается.