Claude Fable 5.2 за два дня формализовал Великую теорему Ферма: Anthropic выпустила две флагманские модели

Claude Mythos 5.2Claude Fable 5.2Anthropicформализация Великой теоремы Фермавыпуск ИИ-модели
1 час назадИсточник: blockweeks.com
Claude Fable 5.2 за два дня формализовал Великую теорему Ферма: Anthropic выпустила две флагманские модели

Редакционная команда Machine Heart

Наконец, в гонке за то, кто первым выпустит новое поколение флагманских моделей, Anthropic сделала первый ход.

Ранним утром сегодня Anthropic выпустила сразу две топовые модели: Fable 5.2 и Mythos 5.2 вышли на сцену.

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

Claude Fable 5.2 formalizes Fermat's Last Theorem in two days, Anthropic releases two flagships at once

Кроме того, Anthropic также начала использовать привилегию «Reset», знакомую по Tibo от OpenAI.

Отец Claude Code также объявил: «Мы хотим предоставить больше преимуществ пользователям, которые с нами дольше всех. Поэтому в Fable 5.2 чем дольше срок подписки, тем больше сбросов Fable получают пользователи».

Claude Fable 5.2 formalizes Fermat's Last Theorem in two days, Anthropic releases two flagships at once

Согласно описанию, в тестах перед официальным выпуском Claude Fable 5.2 и Claude Mythos 5.2 помогли инженерам Anthropic завершить проекты по миграции программного обеспечения, которые ранее было трудно реализовать, спроектировать с нуля три электронных устройства, способных нормально работать, решить две нерешённые проблемы в области физики чёрных дыр, добиться значительного прогресса в оценках робототехники и выполнить формальное доказательство Великой теоремы Ферма всего за 30 часов. Кроме того, у них есть множество других сценариев применения.

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

Две модели генерируют до 30% быстрее, чем Claude Fable 5.1 и Claude Mythos 5.1, а их цены также снижены: 8 долларов за миллион входных токенов и 40 долларов за миллион выходных токенов.

Fable 5.2 и Mythos 5.2 также предлагают опциональный Fast Mode, который может увеличить скорость генерации токенов до 2,5 раз. Fast Mode стоит 16 долларов за миллион входных токенов и 80 долларов за миллион выходных токенов.

Оценочные показатели Claude Fable 5.2 и Mythos 5.2

Результаты бенчмарков

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

Из перекрёстных сравнительных оценок Fable 5.2 выходит вперёд на множестве сложных задач. В программировании она набрала 49,1% и 69,9% на FrontierCode 2.0 и FrontierSWE v2 соответственно, превзойдя 42,8% и 65,5% у GPT-6 Astra, а также опередив Opus 5.5. В оценке роботизированных манипуляций RoboDojo Sim Fable 5.2 достигла 64,9%, что на 37,3 процентных пункта больше по сравнению с 27,6% у предыдущего поколения Fable 5.1, и значительно выше 39,4% у Opus 5.5 и 29,8% у GPT-6 Astra.

Кроме того, она достигла 89,3% в оценке работы с компьютером OSWorld 2.1 и 74,2% в междисциплинарной оценке рассуждений Humanity's Last Exam (с инструментами), заняв первое место среди моделей, оцениваемых на рисунке. Однако в оценке интеллектуальной работы AA-Briefcase Opus 5.5 немного лидировала с рейтингом Elo 1800, тогда как Fable 5.2 набрала 1785. Некоторые из высоких результатов в научных исследованиях и кибербезопасности были получены от одновременно выпущенной Mythos 5.2.

Claude Fable 5.2 за два дня формализовал Великую теорему Ферма, Anthropic выпустила сразу две флагманские модели

Интенсивность и эффективность рассуждений

При настройке средней интенсивности рассуждений, которая также является настройкой по умолчанию для приложения Claude и Claude Code, Fable 5.2 требует меньше токенов, чем Fable 5.1, при выполнении сложных задач.

В ранних тестах оценки FrontierCode 2.0 при использовании высокой интенсивности рассуждений Fable 5.2 достигла результатов, примерно сопоставимых с Opus 5.5 при максимальной интенсивности рассуждений, при этом стоимость одной задачи составила лишь около половины от стоимости последней. При интенсивности рассуждений Xhigh результаты Fable 5.2 также превзошли все другие выпущенные модели, участвовавшие в тестировании.

Claude Fable 5.2 за два дня формализовал Великую теорему Ферма, Anthropic выпустила сразу две флагманские модели

Программирование

В настоящее время более 90% принятых изменений кода в основной кодовой базе Anthropic выполняются Claude под руководством человека.

Anthropic использовала Fable 5.2 для исправления давних сложных ошибок за считанные минуты, оптимизации производительности работы различных сервисов и завершения некоторых важных программных проектов, которые изначально было трудно начать из-за слишком больших затрат времени или средств.

Ранее команда агентов на базе ранней версии Fable 5.2 перенесла ключевой производственный сервис с Python на Rust. После миграции эффективность работы и надёжность этого сервиса повысились, а скорость запуска выросла примерно в 26 раз по сравнению с исходной.

Тесты также показали, что Fable 5.2 обладает сильным инженерным чутьём. Даже при относительно расплывчатых требованиях она способна выдавать качественные результаты.

В одном эксперименте инженер Anthropic попросил Fable 5.2 спроектировать прототип операционной системы с нуля. Начиная с пустой папки, модель координировала более 1000 субагентов, непрерывно в течение 8 дней без перерыва писала, тестировала и проверяла код. В итоге она успешно разработала операционную систему, способную загружаться и работать на ноутбуке.

Эта система имеет собственное ядро, способное управлять всей машиной; она включает драйверы диска, клавиатуры и сети, а также постоянное файловое хранилище, оконную систему, интерфейс входа и установщик, а также имеет встроенную функциональность Claude.

Ранние тестировщики также были впечатлены тем, как Fable 5.2 применяет свои программистские способности к самым разнообразным задачам.

Кибербезопасность

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

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

Во внутреннем бенчмарке Anthropic CVE Rediscovery Claude Mythos 5.2 обнаружила на 10,2% больше уязвимостей, чем Claude Opus 5.5, и на 14,4% больше, чем Claude Mythos 5.1.

Claude Mythos 5.2 также показала заметное улучшение точности суждений и калибровки уверенности. Один тестировщик обнаружил, что предыдущие модели преувеличивали серьёзность примерно в 1 из каждых 20 находок уязвимостей, тогда как Claude Mythos 5.2 никогда этого не делала.

Claude Fable 5.2 两天跑完费马大定理形式化,Anthropic 一次放出两款旗舰

Пользователи могут получить доступ к возможностям кибербезопасности Claude Mythos 5.2 через Программу проверки кибербезопасности. Anthropic также продолжает расширять и совершенствовать эту программу.

Даже без присоединения к Программе проверки кибербезопасности клиенты Claude Enterprise могут использовать Claude Security. Этот сервис использует самые мощные модели Anthropic для сканирования кодовых баз на предмет потенциальных уязвимостей, и теперь он интегрирован с Claude Mythos 5.2.

Недавнее обновление ещё больше расширило возможности Claude Security. Теперь он может непрерывно отслеживать репозитории кода, отслеживать обновления кода и гарантировать, что обнаруженные уязвимости будут исправлены; он также может анализировать с большим объёмом контекстной информации и подключаться к другим инструментам, используемым пользователями, через API и MCP.

Наука и инженерия

Значительная часть важной работы в науке, инженерии и математике всё больше зависит от навыков программирования. Будь то анализ данных, построение молекулярных моделей, проектирование компонентов или управление экспериментальными приборами — всё это можно делать с помощью программного обеспечения.

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

Теоретическая физика

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

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

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

Claude Fable 5.2 两天跑完费马大定理形式化,Anthropic 一次放出两款旗舰

Адрес: https://hexagonmath.org/2611.00175v1

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

Fable 5.2 по существу выполнил это вычисление автономно и обнаружил, что даже в очень маленьких вселенных этот переход также происходит внезапно.

Вторая проблема связана с методом, который физики используют более 15 лет. Этот метод используется для исключения возможных теорий квантовой гравитации в упрощённых моделях вселенной. Fable 5.2 нашёл точную границу применимости этого метода.

Claude Fable 5.2 两天跑完费马大定理形式化,Anthropic 一次放出两款旗舰

Адрес: https://hexagonmath.org/2611.00174v1

Фолдинг белков

Аденоассоциированный вирус (AAV) — это очень маленький вирус, безвредный для человека. Его белковая оболочка, известная как капсид, может использоваться для доставки генной терапии. Белковая структура капсида очень важна. Например, она влияет на то, будет ли генная терапия распознана и заблокирована иммунной системой пациента. Но структура капсида также довольно сложна.

Существующие модели фолдинга белков, такие как AlphaFold, могут предсказывать структуру отдельного белка, но вирусный капсид состоит из десятков белков, и общая структура гораздо сложнее.

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

Этот метод показал хорошие результаты на множестве природных и искусственно спроектированных капсидов. В наших тестах 28 из 34 капсидов, которые Claude попытался смоделировать, получили точные предсказания структуры.

Математика

Математическая формализация означает преобразование математических доказательств в язык, который компьютеры могут проверять шаг за шагом. Эта работа может помочь математикам проверять результаты исследований и повышать уверенность в правильности доказательств, не полагаясь полностью на ручную пошаговую проверку. Это еще более важно, когда ИИ-модели выдают результаты, которые людям трудно проверить напрямую.

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

Ранее Anthropic использовала невыпущенную исследовательскую версию Claude для формализации Великой теоремы Ферма, и весь процесс занял 11 дней. Эта работа опиралась на специально разработанную среду выполнения (Harness) и также требовала руководства со стороны исследователей-людей.

Для сравнения, команда, состоящая из 1000 агентов Fable 5.2, завершила формализацию всей теоремы всего за 30 часов, при этом в процессе почти не было вмешательства человека.

Claude Fable 5.2 формализует Великую теорему Ферма за два дня, Anthropic выпускает сразу два флагмана

Начиная с очень ограниченного запроса, Fable 5.2 самостоятельно установила механизм сотрудничества между агентами. На протяжении всего процесса она не использовала никаких математических справочных материалов, полагаясь только на список формулировок промежуточных теорем для оценки прогресса задачи.

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

На рисунке ниже показана производительность различных моделей: при той же конфигурации из 1000 агентов Opus 5.5 потратила 18 часов и завершила только 26% работы по формализации. Даже при работе в течение 30 часов прогресс едва увеличился.

Claude Fable 5.2 формализует Великую теорему Ферма за два дня, Anthropic выпускает сразу два флагмана

Аппаратное обеспечение и робототехника

Значительная часть потенциальной ценности ИИ, например ускорение лабораторных исследований, зависит от того, сможет ли он действовать в физическом мире. Claude Fable 5.2 продолжает тенденцию моделей серии Claude становиться все более полезными в реальном мире. В таких задачах, как проектирование аппаратных устройств, она уже продемонстрировала надежные возможности, а также добилась значительного прогресса в управлении физическими роботами.

Anthropic специально протестировала возможности Fable 5.2 в области аппаратной инженерии, дав ей лишь краткий запрос и попросив спроектировать и собрать три работающих электронных устройства. Каждому устройству требовалась собственная печатная плата, 3D-печатный корпус и поддерживающее программное обеспечение. Три завершенных устройства представляли собой: домашний голосовой помощник-хаб, USB-спикерфон и портативное устройство виртуального питомца.

Claude самостоятельно написала спецификации продуктов, выбрала электронные компоненты, доступные у американских дистрибьюторов, спроектировала и выполнила трассировку четырехслойных печатных плат для каждого устройства, построила модели корпусов с использованием автоматизированного проектирования (CAD) и написала программное обеспечение, необходимое для устройств. Практически без вмешательства человека каждая печатная плата была спроектирована менее чем за день и достигла состояния, готового к производству.

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

Робототехника

По сравнению с предыдущими моделями Claude, Fable 5.2 значительно улучшила возможности управления физическими роботами. Даже сталкиваясь с робототехническими задачами, для которых она никогда не получала специализированного обучения, она может демонстрировать сильные операционные способности.

На видео ниже показан робот, управляемый Fable 5.2, выполняющий несколько задач, включая сборку кубика Рубика, откручивание крышки бутылки и рисование изображения робота.

В публичном бенчмарке RoboDojo исследователи использовали изображения с камер, чтобы заставить ИИ управлять симулированным двуруким роботом для выполнения задач. Fable 5.2 не только превзошла другие передовые модели, использующие ту же структуру тестирования, но и превзошла большинство ИИ-систем, разработанных специально для управления роботами.

Claude Fable 5.2 formalizes Fermat's Last Theorem in two days, Anthropic releases two flagships at once

Результаты оценки RoboDojo

Исследования и анализ

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

Проприетарная торговая фирма Jump Trading тестировала Fable 5.2 с использованием набора прокси-оценок, имитирующих её задачи количественных исследований. Во время тестирования они подключили модель к системе, аналогичной внутренней структуре исследовательского рабочего процесса компании.

В одном из тестов Fable 5.2 почти самостоятельно взяла на себя все необходимые роли, включая автора кода, координатора задач, планировщика и отправителя задач. Ранее при использовании других моделей командам часто требовалось вкладывать много времени в ручную корректировку разделения труда между различными ролями, чтобы учесть сильные и слабые стороны каждой модели.

Безопасность и выравнивание

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

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

Перед официальным выпуском модель также тестировалась внешними оценочными организациями, включая Институт безопасности ИИ Великобритании, Frontier Design и METR.

Тестирование выравнивания

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

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

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

По большинству оценочных показателей Claude Mythos 5.2 показала результаты на уровне или лучше, чем Opus 5.5, Sonnet 5.5 и Claude Mythos 5.1. Например, в большинстве оценок, связанных с введением пользователей в заблуждение, её результаты были лучше этих трёх моделей. В частности, будь то фабрикация входной информации, ложное заявление о выполнении задач, упущение важной информации или неспособность честно сообщить о плохом или небрежном качестве работы, у Claude Mythos 5.2 была более низкая частота встречаемости.

Claude Fable 5.2 formalizes Fermat's Last Theorem in two days, Anthropic releases two flagships at once

Во время тестирования Anthropic уделяла особое внимание моделям поведения, связанным с некоторыми недавно заметными инцидентами в области кибербезопасности и выравнивания. Например, по сравнению с Opus 5.5, Sonnet 5.5 и Mythos 5.1, Claude Mythos 5.2 реже демонстрировала предвзятые или мотивированные рассуждения. Такие рассуждения могут привести к тому, что модель будет объяснять доказательства, указывающие на то, что она не находится в симулированной среде, а затем предпринимать действия, не полностью осознавая реальные последствия.

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

Кроме того, Anthropic разработала специальный состязательный тест, охватывающий более 1800 сценариев. Большинство сценариев невозможно выполнить без выхода из песочницы, а сама тестовая среда была намеренно создана с некоторыми уязвимостями безопасности. В этом тесте Claude Mythos 5.2 использовал учётные данные или файлы, которые мы разместили вне песочницы, в 3,1% сценариев.

Эта доля примерно сопоставима с 3,3% у Opus 5.5, ниже 5,1% у Sonnet 5.5 и значительно ниже, чем у двух предыдущих версий Claude Mythos: доля Mythos 5 составляла 39%, а Mythos 5.1 — 21%.

Anthropic также обнаружила, что другие методы, например объяснение модели конкретной среды песочницы и предоставление инструментов для сообщения об уязвимостях безопасности, могут дополнительно снизить попытки побега Claude Mythos 5.2.

В то же время Anthropic постоянно совершенствует свои методы оценки, чтобы сделать тестовую среду ближе к реальным сценариям и лучше понять, какие проблемы упустили существующие оценки.

Для получения более подробной информации о модели, пожалуйста, обратитесь к карточке модели на 264 страницах:

Claude Fable 5.2 两天跑完费马大定理形式化,Anthropic 一次放出两款旗舰

Адрес карточки модели: https://assets.claude.com/27d60918d218125e7504bc7354c4b4626ec56b11.pdf

Адрес блога: https://www.anthropic.com/claude-fable-and-mythos-5-2

© THE END