ИИ Claude поднял нижнюю границу гипотезы Римана с 41,6% до 67,2%

Языковая модель Claude от Anthropic совершила неожиданный прорыв в одной из самых сложных задач математики. Исследовательская версия ИИ подняла доказанную нижнюю границу доли нулей дзета-функции, лежащих на критической прямой, с 41,6% до 67,2%. Это не полное доказательство гипотезы Римана, но значительный шаг вперед, который уже привлек внимание математического сообщества и открывает новые перспективы для использования искусственного интеллекта в фундаментальной науке.

Гипотеза Римана и ее значение

Гипотеза Римана, сформулированная Бернхардом Риманом в 1859 году, утверждает, что все нетривиальные нули дзета-функции имеют действительную часть, равную 1/2. Эти нули лежат на так называемой критической прямой, и их распределение тесно связано с распределением простых чисел. За доказательство этой гипотезы Институт Клэя предлагает миллион долларов, и она входит в список семи задач тысячелетия.

На протяжении более полутора веков никому не удалось ни доказать, ни опровергнуть гипотезу. Однако математики разработали подход, позволяющий оценивать, какая доля нулей гарантированно находится на критической прямой. Эта нижняя граница постепенно повышалась: в XX веке она выросла с 5% до 40% благодаря работам таких выдающихся математиков, как Харди, Литтлвуд и Сельберг. Каждое улучшение требовало новых идей и сложных вычислений.

В 2021 году исследователи под руководством Адама Харпера из Уорикского университета установили границу на уровне 41,6%. Многие считали, что дальнейшее продвижение потребует принципиально новых подходов, которые могут быть недоступны современной математике. Именно здесь на сцену вышел искусственный интеллект.

Как Claude продвинул гипотезу Римана

Anthropic отправила исследовательскую версию Claude на штурм этой задачи, предоставив модели доступ к математическим инструментам и обширной литературе. Модель не просто перебирала варианты, а генерировала новые подходы, комбинируя известные методы теории чисел. В итоге ей удалось найти доказательство, которое поднимает нижнюю границу до 67,2%. Это означает, что математики теперь могут гарантировать, что более двух третей нетривиальных нулей дзета-функции лежат на критической прямой.

Прорыв впечатляет не только числом: метод, предложенный Claude, оказался неожиданным и элегантным. По словам Anthropic, модель использовала комбинацию техник, которые ранее не рассматривались в этом контексте. Полное доказательство занимает около ста страниц и было проверено математиками, хотя независимая проверка все еще продолжается.

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

Как ИИ смог решить задачу, не решаемую человеком?

Ключевой вопрос: как языковой модели, которая по сути предсказывает следующее слово, удалось найти доказательство? Ответ кроется в способе обучения и использования. Исследовательская версия Claude была обучена на огромном корпусе математической литературы, включая статьи и доказательства. При генерации решения модель комбинирует фрагменты известных методов, создавая новые цепочки рассуждений.

Anthropic предоставила Claude доступ к символьным вычислительным инструментам, что позволило модели проверять свои гипотезы и строить формальные доказательства. Модель работала итеративно: она генерировала возможные пути, проверяла их на корректность и отбрасывала ошибочные. Этот процесс, напоминающий работу математика-исследователя, привел к открытию нового метода, который увеличил границу на 25,6 процентных пункта.

Этот успех также поднимает вопрос о роли ИИ в математике. Уже есть примеры, когда нейросети помогали находить контрпримеры или угадывать гипотезы, но полноценное доказательство — редкость. Возможно, мы стоим на пороге новой эры, когда ИИ станет незаменимым инструментом для решения задач, которые человеческий мозг не может охватить из-за ограниченности ресурсов.

Технические детали и значение результата

Результат Claude основан на уточнении известных методов, связанных с так называемыми мультипликативными функциями и их распределением. Модель использовала комбинацию результатов Харпера, а также техники, развитые в работах по теории дзета-функции. Полное доказательство, по словам Anthropic, занимает около ста страниц и было проверено математиками.

Для сравнения: предыдущий результат 41,6% был получен после десятилетий работы нескольких поколений математиков. Улучшение до 67,2% — это скачок, который в традиционной науке мог бы занять десятилетия. Хотя некоторые эксперты выражают осторожность, отмечая, что результат требует независимой проверки, первоначальные рецензии положительные.

Кого затронет и как

Прежде всего, это событие важно для математического сообщества. Исследователи, работающие над гипотезой Римана, получат новый инструмент и новые идеи. Результат может ускорить прогресс в этой области и вдохновить на использование ИИ в других нерешенных задачах, таких как гипотеза Ходжа или проблема Пуанкаре (которая уже решена, но методы могут пригодиться).

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

В России и СНГ это событие также может стимулировать интерес к использованию ИИ в фундаментальной науке. Российские математические школы сильны, и интеграция ИИ в исследовательский процесс может дать новые результаты. Однако важно, чтобы российские исследователи имели доступ к подобным инструментам и могли их адаптировать.

Что будет дальше

Anthropic планирует опубликовать полное доказательство и открыть доступ к методам, использованным Claude, для научного сообщества. Это позволит другим исследователям проверить результат и, возможно, продолжить улучшение границы. Следующая цель — поднять границу выше 70%, а в перспективе — подойти к полному доказательству гипотезы.

Однако стоит помнить, что полное доказательство гипотезы Римана может потребовать принципиально новых идей, которые пока недоступны ни человеку, ни ИИ. Тем не менее, успех Claude показывает, что ИИ может стать тем самым инструментом, который поможет сделать следующий шаг.

Итог

Claude от Anthropic совершил прорыв в математике, подняв доказанную нижнюю границу доли нулей дзета-функции на критической прямой с 41,6% до 67,2%. Это не доказательство гипотезы Римана, но значительный шаг вперед, который демонстрирует потенциал ИИ в решении сложнейших научных задач. Следите за развитием событий: возможно, мы становимся свидетелями начала новой эры в математике, где ИИ и человек работают вместе.