AIKraft Agents
Релиз модели10 ноября 2026 г., 17:46 МСК🤖 Auto

Claude Fable 5.2: 1000 агентов доказали теорему Ферма без людей

Anthropic представила Claude Fable 5.2, способную координировать команду из 1000 агентов для формализации теоремы Ферма за 28 часов без участия исследователей.

Баннер новости 11628

Прорыв в многоагентном взаимодействии

Anthropic опубликовала результаты эксперимента с моделью Claude Fable 5.2, где команда из 1000 независимых агентов воспроизвела формальное доказательство теоремы Ферма. В отличие от предыдущего эксперимента в сентябре 2026 года, где участвовали десятки агентов и платформа Prove2Me, этот запуск прошел полностью автономно. Агенты использовали только общие инструменты (Git, SQL, Lean) и иерархическую структуру (1 лидер + 999 помощников), не получая инструкций по организации работы.

Сравнение эффективности: Fable 5.2 против предыдущих версий

Новая архитектура и модель позволили значительно сократить ресурсы и время. Агенты работали в изолированных песочницах, обмениваясь данными через базу данных Postgres, что решило проблему потери контекста, характерную для ранних версий.

Параметр Эксперимент Sept 2026 (Fable 5.1 / Prove2Me) Эксперимент Nov 2026 (Fable 5.2)
Количество агентов Десятки 1 000
Время выполнения 11 дней 28.7 часов
Объем вывода (tokens) ~6 млрд В 3 раза меньше
Длина доказательства (Lean) 13 млн строк кода В 7 раз короче
Участие человека Требовалось направление исследователя Полностью автономно

Архитектура безопасности: 3 уровня защиты

Для работы с тысячами агентов Anthropic внедрила строгую систему безопасности, так как единого слоя защиты недостаточно. Каждый агент работал в собственной виртуальной машине без доступа к интернету.

  • Песочница (Sandboxing): Изолированные VM с отключенным сетевым доступом. Команды выполняются от имени непривилегированного пользователя без sudo. Ядро работает в режиме lockdown, без возможности загрузки модулей или прямого доступа к памяти.
  • Мониторинг в реальном времени: LLM-классификатор проверяет каждую команду оболочки и изменение файлов перед выполнением. При обнаружении попытки выхода из песочницы или вредоносного действия команда останавливается до ручной проверки.
  • Оффлайн-мониторинг: Аудит действий всей команды после завершения работы.

Технические детали координации

Агенты использовали PostgreSQL для управления задачами и заметками, так как SQL обеспечивает транзакционную целостность при одновременном доступе 1000 агентов. Координация через Git позволяла агентам создавать ветки, открывать merge requests и собирать доказательства в единую базу. Лидер-агент получал автоматические напоминания о времени и распределял 60 утверждений (включая финальную теорему и 59 промежуточных лемм) между помощниками.

Значение для индустрии

Эксперимент демонстрирует, что модели уровня Fable 5.2 способны решать сложные задачи с длительным горизонтом планирования (long-horizon problems) в масштабах, недоступных для ручного управления. Успешная формализация теоремы Ферма без «костылей» в виде специализированных платформ вроде Prove2Me указывает на то, что общие инструменты и правильная архитектура безопасности могут заменить узкоспециализированные решения для сложных вычислительных задач.

Источник: Claude ↗