Claude Fable 5.2 формализовала теорему Ферма и ускорила генерацию кода

В заметки

9 ноября компания Anthropic представила обновлённые модели Claude Fable 5.2 и Claude Mythos 5.2, которые демонстрируют значительный прогресс в автономной разработке программного обеспечения и решении сложных математических задач.

Модель Claude Fable 5.2 за 30 часов полностью формализовала доказательство Великой теоремы Ферма на языке Lean, используя тысячу агентов, что заняло втрое меньше токенов и дало текст в семь раз короче по сравнению с предыдущим экспериментом на более ранней версии модели.

В другом эксперименте та же модель координировала работу более тысячи субагентов восемь дней для создания прототипа операционной системы с ядром, драйверами и графическим интерфейсом, который успешно загружался на ноутбуке.

Стоимость использования API снизилась на 20%: базовый тариф составляет $8 за миллион входных и $40 за миллион выходных токенов, а опциональный быстрый режим ускоряет генерацию до 2,5 раза за $16 и $80 за миллион.

На тесте FrontierCode 2.0 Fable 5.2 в режиме High набрала 45,3%, что сопоставимо с результатом Opus 5.5 в режиме Max (45,5%), но при этом стоимость выполнения задачи оказалась примерно вдвое ниже.

Параллельно с запуском новых моделей компания снизила частоту блокировки запросов в области кибербезопасности и биологии примерно на 55% по сравнению с Fable 5.1, при этом строгость защитных механизмов осталась прежней.

Модель Claude Mythos 5.2, которая использует ту же базовую основу, что и Fable 5.2, доступна только проверенным организациям и показала результат 89,6% на внутреннем тесте CVE Rediscovery по поиску уязвимостей.

Загрузка комментариев…

3

Поиск по Loople

Назад