Тысяча ИИ-агентов Anthropic за 30 часов формализовала доказательство Великой теоремы Ферма
Компания заявила, что тысяча агентов Claude Fable 5.2 за 30 часов записала в Lean доказательство Великой теоремы Ферма. В эксперименте также участвовала Claude Opus 5.5.
Anthropic обновила модели Claude Fable 5.2 и Claude Mythos 5.2. В эксперименте с Fable 5.2 тысяча агентов получила стартовые инструкции и список промежуточных утверждений, а затем самостоятельно распределила работу над доказательством в Lean. По данным компании, люди вмешивались редко, а математические справочники агентам не предоставляли.
Для сравнения Anthropic использовала примерно тысячу агентов Claude Opus 5.5 с той же конфигурацией. За первые 18 часов модель выполнила 26% формализации и почти не продвинулась за следующие 12 часов. Обе команды после 18 часов продолжили работу с сохранённого состояния. На графике показан один прогон каждой модели.
На ранней версии Fable 5.2 команда агентов также перенесла критичный сервис с Python на Rust. По заявлению Anthropic, время его запуска сократилось примерно в 26 раз. В другом эксперименте более тысячи субагентов за восемь дней создали с нуля прототип операционной системы, которая загружается на ноутбуке.
На FrontierCode 2.0 Fable 5.2 получила 49,1% при уровне усилий Xhigh против 32,4% у Fable 5.1. В режиме High она показала примерно такой же результат, как Opus 5.5 в режиме Max, при примерно вдвое меньшей стоимости одной задачи.
Fable 5.2 и Mythos 5.2 используют одну базовую модель. Fable доступна всем пользователям и имеет дополнительные ограничения для высокорисковых задач в кибербезопасности и биологии. Проверенные организации могут подать заявку на доступ к Mythos через программы Anthropic. В API Claude Platform Fable 5.2 доступна под именем claude-fable-5-2. Тариф составляет $8 за миллион входящих токенов и $40 за миллион исходящих, а в Fast Mode — $16 и $80 соответственно.
