Когато ИИ реши математическа задача, която смачка човешки експерт за седмици

Четях наскоро една история, която ме остави с отворена уста. Доналд Кнут – да, този Кнут, бащата на "Изкуството на програмиране" и един от най-големите умове в компютърната наука – публикува статия с заглавие "Циклите на Клод". Трябваше да ви разкажа.

Задачата, която обърка всичко

Представете си сложна мрежа от точки в триизмерно пространство. Всяка точка се свързва с три други по точен начин. Целта? Да намериш три отделни пътеки, които минават през всички точки точно по веднъж и използват всички връзки.

Кнут реши малките варианти, но за големите – нищо. Месети се бори с нея.

Влиза Клод Опуус

Ето къде започва лудницата. Колегата му Филип Стаперс хвърля задачата на Клод Опуус 4.6 от Anthropic. Без големи надежди. Но ИИ-то не стреля наслуки. То създава цял план за изследване.

Разбива проблема на 31 стъпки, всяка по-умна от предишната. Започва с прости идеи (провалиха се), после преминава към хитри трикове. Преосмисля задачата, вижда скрити връзки и крачи към края.

Най-шокиращото? Около стъпка 15 то измисля "фиброва декомпозиция" – умен начин да разбие проблема на частички. Това не е просто смятане. Това е истинско математическо прозрение.

Моментът на пробива

След часове упорит труд Клод стига до стъпка 31. Намери конструкция, която важи за всички нечетни числа над 2. Елегантна, кодира се за минути и – ключово – работи.

Стаперс я тества от 3 до 101. Перфектно всяка поредна.

Защо е важно (и защо не е краят на света)

Не бързайте да паникьорствате, че ИИ ще изхвърли математиците. Кнут сам казва: нуждаеше се от стръво доказателство – и той го даде. ИИ-то откри модела, но човек обясни защо.

Чудото е в сътрудничеството. Системният подход на Клод допълва човешката интуиция и доказателства. Не замества, а помага като супер инструмент.

Реалността без филтри

Кнут разказва честно: не беше гладко като в холивудски филм. Стаперс рестартира ИИ-то няколко пъти заради грешки. Принуждаваше го да записва стъпките. Понякога се заяждаше или пишеше бит код.

Работата с ИИ за твърди проблеми е... работа. Не магия. Но резултатът – вау.

Къде отиваме оттук?

За четни числа задачата все още е нерешена. Клод не я хванал. Остава място за човешка креативност.

Това ме кара да вярвам в бъдещето на екип човек-ИИ. Вместо да ни лъска, ИИ-то ще е гениален асистент – търси пътища, вижда модели, предлага идеи, които ние пропускаме.

Както Кнут завършва: "Браво, Клод!" И браво на хората, които знаят как да питат и да разбират.