Гипотеза Римана — одна из семи задач тысячелетия с призом в миллион долларов, который до сих пор никто не забрал. Она описывает, как распределены простые числа, и от её решения зависит целый пласт теории чисел. Полтора века лучшие умы планеты подступались к ней и отступали. Теперь к штурму подключился искусственный интеллект — и продвинулся дальше, чем кто-либо ожидал.
Anthropic объявила, что её ещё не выпущенная модель значительно расширила нижнюю границу решений, для которых гипотеза выполняется. Само доказательство целиком не найдено — но и частичный прогресс здесь редкость. Самое неожиданное — как это произошло. Сотрудник компании без серьёзной математической подготовки просто попросил модель «всерьёз попробовать» доказать гипотезу и оставил её работать на полтора дня.
За это время система перебрала 650 разных идей, координируя работу 60 агентов-помощников. По данным сноски к исследованию, только два агента из шестидесяти реально сгенерировали ключевые математические идеи, ещё тринадцать подкидывали им наводки, тридцать пытались найти новые ходы и не смогли, тринадцать проверяли корректность рассуждений, а последние два помогли оформить черновик статьи. Результат подтвердили штатные математики Anthropic и формализовали в Lean — открытом инструменте для проверки доказательств.
В 2026 году ИИ-модели уже решили несколько задач Эрдёша, OpenAI показала десять крупных результатов от своей внутренней модели Astra, а другая разработка Anthropic опровергла давнюю гипотезу Якоби. Растущий список достижений раскалывает математическое сообщество: в июне группа известных математиков подписала декларацию с тревогой о том, что ИИ размывает саму идею авторства в науке — ведь доказательство традиционно должно принадлежать конкретному человеку, который отвечает за его правильность. Филдсовский лауреат Тимоти Гауэрс возразил иначе: возможно, мир, где теоремы не привязаны к именам, не хуже мира, где звёзды на небе не названы в честь астрономов.
Спор об авторстве не помешает главному. Граница между «ИИ помогает считать» и «ИИ находит идеи» стремительно стирается.
Во что углубиться:
- Гипотеза Римана простыми словами: почему распределение простых чисел так важно для математики и криптографии
- Задачи Эрдёша и их решение нейросетями в 2026 году: что уже доказано с помощью ИИ
- Leiden Declaration об авторстве в математике: спор учёных о роли ИИ в открытиях