Нейросеть для математики от Anthropic продвинула доказательство гипотезы Римана за полтора дня

Сотрудник компании без серьёзной математической подготовки дал модели промпт (текстовую инструкцию) «по-настоящему попытаться доказать гипотезу», после чего оставил систему работать на полтора дня. За это время нейросеть координировала 60 подагентов и проверила 650 подходов к решению.

Гипотеза Римана описывает закономерность распределения простых чисел. За её доказательство назначена премия в 1 миллион долларов, и она до сих пор не вручена. На этом фоне Anthropic показала, что языковые модели способны не просто считать, а генерировать принципиально новые математические идеи.

Что именно сделала модель?

• 650 идей за полтора дня. Модель самостоятельно протестировала 650 различных подходов к доказательству, потратив 31 миллион выходных токенов (единиц текста, которые генерирует нейросеть).
• 60 подагентов с разделением ролей. Два подагента разработали ключевые математические идеи, 13 подпитывали их своими находками, 30 пытались (но не смогли) выдвинуть новые идеи, 13 проверяли корректность аргументов, ещё два помогли написать первоначальную научную статью.
• Человек только запустил процесс. Сотрудник Anthropic без глубокой математической подготовки задал промпт и не вмешивался в работу модели.
• Результат формализован. Доказательство проверено двумя штатными математиками Anthropic и переведено в формальный вид с помощью Lean, открытого инструмента для верификации математических доказательств.

На каком фоне это произошло?

Результат Anthropic не единичный. По данным публикации Anthropic, в 2025 году ИИ-модели решили ряд задач Эрдёша (открытые задачи знаменитого венгерского математика). OpenAI опубликовала десять крупных результатов, доказанных внутренней моделью Astra. Сама Anthropic ранее опровергла давнюю гипотезу Якоби.

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

Лауреат Филдсовской премии Тимоти Гауэрс ответил иначе. В своём блоге он написал:

«Если мы придём к миру, где математические теоремы больше не ассоциируются с математиками, возможно, это будет не более проблематично, чем тот факт, что звёзды не называют в честь астрономов, а большинство из них вовсе не имеют имён.» : Тимоти Гауэрс, лауреат Филдсовской премии

Как попробовать нейросеть для математики уже сейчас?

Конкретная модель Anthropic пока не опубликована, но агентный подход к математике можно опробовать на доступных инструментах:

1. Откройте Claude на claude.ai. Текущая версия Claude 4 доступна бесплатно с ограничениями. Задайте сложную математическую задачу и попросите модель разбить решение на шаги.
2. Попробуйте ChatGPT o3 на chat.openai.com. Рассуждающая модель (reasoning model, модель, которая «думает» перед ответом) OpenAI также способна работать с формальной логикой и математикой.
3. Сравните ответы. Дайте одну и ту же задачу обеим моделям и посмотрите, насколько отличаются подходы и результаты.

Что доступно в России?

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

Что с этого вам?

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

Маркетологам и предпринимателям. Модель Anthropic показала принцип: один промпт запускает десятки агентов, каждый со своей ролью. Этот же подход уже применяется в автоматизации исследований, аналитики и даже написания отчётов. Если вы ещё не тестировали агентный режим в Claude или ChatGPT, начните с простой аналитической задачи.

Тем, кому за 50 и кто далёк от математики. Суть не в гипотезе Римана. Суть в том, что нейросеть без математического образования и без участия эксперта сама нашла новые идеи в задаче, которую люди не могут решить 150 лет. Это сигнал: ИИ перестаёт быть калькулятором и начинает генерировать знания.

Частые вопросы

Гипотеза Римана доказана?

Нет. Модель Anthropic увеличила нижнюю границу решений, для которых гипотеза верна, но полного доказательства нет. Премия в 1 миллион долларов остаётся невостребованной.

Можно ли попробовать эту модель?

Пока нет. Anthropic сообщила, что модель ещё не выпущена. Дата релиза и условия доступа не объявлены.

Заменит ли ИИ математиков?

Вопрос открытый. Часть математиков считает, что ИИ подрывает авторство научных результатов. Лауреат Филдсовской премии Тимоти Гауэрс полагает, что изменения могут оказаться скорее позитивными. Пока ИИ выступает инструментом, а не заменой: ключевые идеи проверяли и формализовали люди.