ИИ Anthropic формализовал доказательство Великой теоремы Ферма за 11 дней

AI-дайджестРедакция Mimile.ai8 сентября 2026 г. в 00:45

Материал подготовлен искусственным интеллектом на основе нескольких источников — ссылки на оригиналы приведены ниже.

ИИ Anthropic формализовал доказательство Великой теоремы Ферма за 11 дней

Прототип ИИ Claude от Anthropic преобразовал доказательство Великой теоремы Ферма в формальную проверку объёмом 13 миллионов строк, завершив за 11 дней задачу, на которую у людей ушло бы 10 лет. Компания из Сан-Франциско объявила о прорыве 4 сентября. Результат указывает на растущую роль ИИ в проверке математических работ.

1 источник

ИИ Anthropic формализовал доказательство Великой теоремы Ферма за 11 дней

nature.com

Nature News

Читать также

Claude от Anthropic формализовал доказательство теоремы Ферма за 11 дней

Anthropic использовала свою модель Claude для создания компьютерно-проверяемой версии доказательства теоремы Ферма, выполненного Эндрю Уайлсом, завершив задачу за 11 дней. Формализованное доказательство содержит 13 миллионов строк кода Lean, что является крупнейшим файлом такого рода. Проект знаменует собой значительный прогресс в области автоматизированной проверки математических доказательств.

ИИ решил 87-летнюю гипотезу Якобиана, вызвав беспокойство математиков

Модель ИИ решила гипотезу Якобиана, нерешенную с 1939 года; результат был проверен и объявлен сотрудником Anthropic Левантом Альпёге. Прорыв, собравший более 20 миллионов просмотров в X, вызвал у математиков смесь восхищения и тревоги: ИИ находит ответы, не давая понятных человеку объяснений.

Anthropic выпускает Claude Fable 5.1 со снижением затрат до 45%

Anthropic выпустила Claude Fable 5.1 и Mythos 5.1 — свои самые мощные ИИ-модели, снизив стоимость API до 45% для агентных задач. Модели демонстрируют значительный рост в бенчмарках кодирования и научных исследований, включая более чем двукратное улучшение Fable 5 в Terminal-Bench-Science 0.1. Запуск происходит на фоне того, что подразделение Samsung LSI внедряет Claude Code для проектирования чипов.

Паризи и Дзампони с помощью Claude AI решили десятилетнюю задачу о джемининге

Нобелевский лауреат Джорджо Паризи и Франческо Дзампони использовали ИИ Claude от Anthropic, чтобы математически доказать, почему два параметра в теории джемининга в сумме дают 1, решив задачу, ставившую физиков в тупик более десяти лет. Их решение, опубликованное 1 июля в Journal of Statistical Mechanics, появилось после того, как Claude сгенерировал правильную основную идею за 40 запросов. Результат устраняет расхождение между двумя независимыми подходами к джеминингу — переходу от жидкости к жесткому беспорядку.