Anthropic привлекла 60 ИИ-агентов к исследованию гипотезы Римана
Неанонсированная модель Anthropic продвинулась в исследовании гипотезы Римана: она повысила известную нижнюю границу случаев, для которых утверждение выполняется. За примерно полтора дня система проверила 650 подходов, координируя работу 60 субагентов; суммарные вычислительные затраты Anthropic оценила в 31 млн.
Что именно сделала модель
Гипотеза Римана остаётся одной из центральных нерешённых задач математики уже более 150 лет. Она связана с распределением простых чисел, а за общее корректное доказательство Clay Mathematics Institute предлагает награду в $1 млн.
Anthropic не заявляет о доказательстве гипотезы. Речь идёт о расширении нижней границы набора решений, для которых её истинность была подтверждена. Сотрудник компании без серьёзной математической подготовки попросил модель «по-настоящему попытаться» доказать гипотезу, после чего система самостоятельно распределяла работу между агентами.
Согласно примечанию к работе, два из 60 субагентов выработали ключевые математические идеи. Ещё 13 агентов предлагали им варианты, 30 пытались сформулировать новые идеи, но не смогли этого сделать, 13 выступали проверяющими, а два помогали подготовить первоначальную версию статьи.
Проверка результата и дискуссия о роли ИИ
Два штатных математика Anthropic подтвердили выводы, а рассуждения формализовали с помощью открытого ассистента доказательств Lean. Такая проверка важна: для математического результата недостаточно сгенерировать правдоподобный текст, необходимо установить корректность каждого шага.
Работа продолжает серию результатов с участием больших языковых моделей. В течение года ИИ-системы помогали решать отдельные задачи Эрдёша; OpenAI представила десять значимых результатов, доказанных внутренней моделью Astra. Отдельный проект Anthropic также сообщил об опровержении давней гипотезы Якобиана.
Одновременно в математическом сообществе спорят о том, как меняется авторство и ответственность за доказательства. Группа математиков в июньской публичной декларации предупредила, что ИИ может подорвать принцип, по которому открытие приписывается конкретным авторам, отвечающим за его корректность. Лауреат Филдсовской медали Тимоти Гауэрс, напротив, допустил, что влияние ИИ способно оказаться более сложным и позитивным.
Что это означает для компаний
Контекст развития Anthropic важен и для оценки рынка: конкуренция на рынке ИИ по двум сценариям показывает, что конкуренция в ИИ не сводится к одной модели или одному способу её распространения. Новый результат демонстрирует ценность связки из специализированных агентов, независимой проверки и формального инструмента Lean.
Для бизнеса практический вывод состоит в том, что многоагентные системы следует внедрять там, где можно разделить поиск идей, проверку и итоговое принятие решения. При этом ответственность за выводы и контроль качества должны оставаться у специалистов: Anthropic сама опиралась на математиков и формальную верификацию, а не только на ответ модели.