Когда ИИ разгадал задачу, над которой эксперт бился неделями

Недавно наткнулся на историю, от которой мурашки по коже. Дональд Кнут — да, тот самый гуру программирования и математики — выпустил статью "Циклы Клода". Это про то, как ИИ решил проблему, которую Кнут не мог одолеть. Делюсь с вами свежими мыслями.

Задача, что мучила гения

Представьте трёхмерную сетку точек. Каждая точка связана с тремя соседями особым образом. Нужно провести три пути так, чтобы они прошли через все точки ровно по разу и использовали все связи. Звучит просто? Нет.

Кнут решил мелкие случаи. Но общий метод для любой сетки ускользал. Он вкалывал неделями. Без толку.

Появляется Клод

Коллега Кнута, Филип Стэппере, решил поэкспериментировать. Бросил задачу модели Claude Opus от Anthropic. Без особых надежд. А ИИ взялся за дело по-настоящему.

Клод разбил проблему на 31 шаг. Сначала простые идеи — провал. Потом хитрые приёмы. Переформулировал задачу. Увидел скрытые закономерности. К шагу 15 ввёл "разложение на волокна" — умный способ разрезать сетку на кусочки. Это не слепой перебор. Это настоящая интуиция.

Момент триумфа

К 31-му шагу — прорыв. Клод нашёл конструкцию. Работает не только в примерах Кнута, но для всех нечётных чисел больше 2. Код — пара строк. Элегантно и надёжно.

Стэппере проверил от 3 до 101. Всё сработало идеально.

Почему это круто (и не конец света)

Не паникуйте: ИИ не вытеснит математиков. Кнут сам добавил строгую доказку. Клод нашёл шаблон, но понять "почему" — работа человека.

Здесь не соревнование. Это партнёрство. ИИ роет варианты и видит узоры. Человек проверяет и доказывает. Новый инструмент в арсенале.

Реальность без гламура

Кнут честно описал: не всё гладко. Стэппере перезапускал Клода из-за ошибок. Напоминал фиксировать шаги. ИИ тупил, код ломался.

Работа с ИИ — это труд. Не волшебство. Но результат того стоит.

Что дальше?

Для чётных чисел задача открыта. Клод сдался. Многое ещё требует человеческого чутья.

Я оптимист. ИИ станет супер-ассистентом: обшарит пространство решений, подскажет идеи. Как Кнут сказал: "Браво, Клод!" И браво людям, которые задали вопрос и разобрались в ответе.