Anthropic представила Claude Fable 5.2 и Mythos 5.2: тысяча ИИ агентов формализовала доказательство теоремы …
Anthropic анонсировала новое поколение своих наиболее мощных моделей искусственного интеллекта, Claude Fable 5.2 и Mythos 5.2. Компания заявляет о серьёзном прогрессе в программировании, математике, научных исследованиях и кибербезопасности. Среди наиболее впечатляющих результатов формализация доказательства Великой теоремы Ферма за 30 часов, решение двух открытых задач физики чёрных дыр и разработка трёх работающих электронных устройств.
9 ноября 2026 года Anthropic представила Claude Fable 5.2 и Claude Mythos 5.2, продолжив развитие семейства моделей, ориентированных на сложные интеллектуальные задачи. Новое поколение предназначено не только для написания кода и анализа информации, но и для продолжительной автономной работы, в ходе которой искусственный интеллект способен планировать действия, использовать инструменты, проверять результаты и координировать другие ИИ системы. Особое внимание компания уделяет научным и инженерным достижениям. Если раньше прогресс языковых моделей измерялся преимущественно результатами тестов и качеством ответов, то теперь Anthropic демонстрирует возможности на задачах, которые имеют конкретный проверяемый результат: математические доказательства, работающие электронные устройства и исследовательские вычисления. Одним из главных результатов стала формализация доказательства Великой теоремы Ферма в системе Lean. По заявлению Anthropic, тысяча ИИ агентов выполнила эту работу за 30 часов. Предыдущей исследовательской версии Claude для аналогичной задачи потребовалось 11 дней. Великая теорема Ферма утверждает, что уравнение xⁿ + yⁿ = zⁿ не имеет решений в положительных целых числах при n больше двух. Математик Эндрю Уайлс завершил доказательство в 1990 годы, спустя более трёх столетий после того, как Пьер Ферма сформулировал свою знаменитую гипотезу. Важно понимать, что Anthropic не заявляет о повторном открытии доказательства теоремы. Речь идёт о его формализации, то есть переводе математических рассуждений на язык, позволяющий компьютеру строго проверить каждый логический переход. Для этого используется Lean, специализированная система формальной верификации. В отличие от обычного текста математической статьи, формальное доказательство должно удовлетворять точным логическим правилам. Компьютер не принимает рассуждение только потому, что оно выглядит убедительным. Самое интересное в эксперименте заключается в масштабе коллективной работы. Вместо одной модели, последовательно выполняющей всю задачу, Anthropic использовала тысячу агентов, которые могли параллельно работать над отдельными частями доказательства. Такой подход показывает потенциал распределённых агентных систем для автоматизации сложных математических исследований. При этом для полноценной научной оценки результата важны публикация формальных файлов, описание используемой инфраструктуры и возможность независимой проверки. Ещё одним достижением, о котором сообщила Anthropic, стало решение двух открытых теоретических задач, связанных с физикой чёрных дыр. Компания относит эти результаты к научным возможностям Claude Fable 5.2. Исследования чёрных дыр требуют сложного математического аппарата, объединяющего общую теорию относительности, квантовую физику и методы теоретического моделирования. Даже сравнительно узкие задачи в этой области могут оставаться нерешёнными годами, поскольку требуют поиска новых математических подходов. Возможность применять ИИ для подобных исследований представляет особый интерес. Модель может изучать научную литературу, строить гипотезы, выполнять символьные вычисления и проверять различные варианты решения значительно быстрее, чем при полностью ручном подходе. Однако решение открытой научной задачи и признание нового результата научным сообществом не одно и то же. Для окончательного подтверждения необходимы подробные математические выкладки, воспроизводимые вычисления и независимая экспертиза. Тем не менее сам факт включения подобных задач в демонстрацию возможностей модели показывает, насколько далеко разработчики ИИ продвинулись от обычных текстовых сценариев использования. Anthropic также сообщила, что во время предварительных испытаний новые…
Источник: vc.ru — vc.ru/ai/3245376-anthropic-claude-fable-mythos
