Claude Fable 5.2 довела теорему Ферма за 30 годин

У ході нового експерименту Anthropic тисяча агентів Claude Fable 5.2 повністю формалізувала доведення Великої теореми Ферма в середовищі Lean. Моделі отримали лише базові інструкції та перелік проміжних лем, після чого самостійно розподілили завдання між собою без доступу до математичних довідників, скоротивши витрати токенів утричі, а результуючий текст коду — у сім разів.

Водночас неповороткий флагман Opus 5.5 за тих самих умов подужав лише 26% роботи за 18 годин і безнадійно застряг на решті відрізка. Виявилося, що гігантські розміри моделі поступаються витонченій координації сотень дрібніших агентів.

Математикою справа не обмежилася. Команда агентів ранньої Fable 5.2 перенесла критичний внутрішній сервіс компанії з Python на Rust, прискоривши його запуск у 26 разів. Інша група з тисячі субагентів за вісім днів створила з порожньої папки повноцінну операційну систему з власним ядром, драйверами накопичувача, мережею та віконним інтерфейсом, здатну запускатися на звичайному ноутбуці.

На тесті програмування FrontierCode 2.0 модель показала 49,1% у режимі Xhigh, зрівнявшись із піковим результатом Opus 5.5 за вдвічі меншої вартості одного завдання. Спеціалізована версія Mythos 5.2 тим часом самостійно відшукала 89,6% відомих вразливостей у тесті на 1829 старих звітах безпеки.

Новинку запустили в AWS, Google Cloud та Microsoft Azure за базовим тарифом 8 доларів за мільйон вхідних і 40 доларів за мільйон вихідних токенів зі швидкісним режимом генерації до 2,5 раза швидше.

Теоретична математика та системне програмування на очах перетворюються з праці всього людського життя на рутинні пакети завдань для фабрик токенів. Стандарти інтелектуальної роботи змістилися туди, де біологічному мозку без цифрового рою вже просто нічого ловити.

Джерело: Anthropic