Нерелизный Claude повысил нижнюю оценку нулей дзета-функции Римана до 67,2%

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

Что такое гипотеза Римана и почему 41,6% важны

Гипотеза Римана, сформулированная в 1859 году, — одна из самых известных нерешённых задач математики, за доказательство которой институт Клэя предлагает миллион долларов. Дзета-функция Римана описывает распределение простых чисел: каждый её нетривиальный ноль добавляет всё более тонкую информацию о последовательности простых. Гипотеза утверждает, что все эти нули лежат на одной вертикальной прямой — критической прямой.

Доказать или опровергнуть это утверждение пока не удалось никому. Параллельно математики постепенно увеличивали нижнюю оценку: какую минимальную долю нулей можно гарантированно поместить на критическую прямую. До результата Claude этот рекорд держался на уровне 41,6%.

Как Claude пришёл к результату

Claude улучшил нижнюю оценку до 67,2%, опираясь на синтез нескольких линий математических исследований.

• Предыдущий рекорд нижней оценки: 41,6% (удерживался многие годы)
• Новый результат: 67,2% — прирост более чем на 25 процентных пунктов
• Метод использует серию работ Балуёта, Голдстона, Суриаджаи и Тёрнейдж-Баттербо, позволивших применять техники Монтгомери 1973 года без предположения о справедливости гипотезы
• Ключевую роль сыграла статья Бомбьери 2000 года
• Доказательство проверили два математика Anthropic; по запросу компании его независимо изучили профессора Брайан Конри и Дэн Голдстон — ведущие специалисты в аналитической теории чисел
• Claude дополнительно построил формально верифицируемое доказательство, допускающее автоматическую проверку

Сотрудник Anthropic предложил Claude всерьёз попробовать доказать гипотезу Римана. В ходе попытки модель не решила задачу 1859 года, но наткнулась на неожиданный путь улучшения нижней оценки. Технически Claude построил пространство функций с квадратичной формой, индуцированной Вейлем, и выделил подпространства с положительной и отрицательной определённостью — и, согласно описанию Anthropic, ключевым шагом стала готовность работать с пространством целиком, не упрощая квадратичную форму до диагональной.

Что означает этот результат для ИИ в науке

По оценке Anthropic, использованные техники вряд ли выведут напрямую к полному доказательству гипотезы Римана. Тем не менее результат показателен: ИИ-модель синтезировала математический арсенал нескольких десятилетий и нашла соединение, которое до неё не замечали.

«Её работа служит последним примером скорости прогресса математических способностей ИИ-моделей», — говорится в официальном блоге

Anthropic, опубликованном 10 августа 2026 года.

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

Что это значит

Языковые модели переходят от правдоподобных рассуждений о математике к верифицируемым доказательствам, признанным экспертным сообществом. Результат Claude формально проверяем и подтверждён независимыми специалистами — это качественно иной уровень, чем генерация «математически звучащего» текста.

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

Доказал ли Claude гипотезу Римана?

Нет. Claude улучшил нижнюю оценку доли нулей дзета-функции на критической прямой с 41,6% до 67,2%, однако сама гипотеза по-прежнему не доказана — это принципиально разные задачи.

Кто подтвердил корректность доказательства?

Два математика Anthropic изучили и верифицировали работу, составив краткое изложение для специалистов. По просьбе компании результат независимо проверили профессора Брайан Конри и Дэн Голдстон, специализирующиеся именно в этой области теории чисел.

Есть ли формально верифицируемое доказательство?

Да. Помимо содержательного математического текста, Claude построил формально верифицируемое доказательство, которое можно проверить автоматически с помощью систем формальной верификации.