Гипотеза Римана: Claude от Anthropic — 67%

Я, Арина Михална, пишу о том, как модель Anthropic продвинулась в решении гипотезы Римана: неопубликованная версия Claude подняла нижнюю границу доли нулей дзета-функции на критической прямой с 41,6% до 67,2% — это не доказательство гипотезы целиком, а серьёзный сдвиг известной математической границы, о котором 11 августа 2026 написал TechCrunch. Дальше — что это значит, почему цифра 67,2% важна и что теперь будет с задачей, которая математиков мучает с 1859 года.

Стат-строка честно короче обычной: третью реальную цифру для этой темы я не нашла, а выдумывать её — фейл статьи по правилам, так что оставляю две, которые есть.

Что конкретно доказала модель Anthropic по гипотезе Римана

Гипотеза Римана — про распределение нулей дзета-функции, специальной математической функции, которая связана с тем, как расположены простые числа. Риман предположил: все «нетривиальные» нули этой функции лежат на одной прямой линии — так называемой критической прямой. Если это правда, то распределение простых чисел устроено гораздо аккуратнее, чем кажется на первый взгляд.

Доказать это целиком математики не могут уже 167 лет. Но можно доказывать частями: показывать, какая ДОЛЯ всех нулей точно лежит на этой прямой. До недавних оценок нижняя граница держалась на уровне 41,6% — это результат, который годами уточняли разные исследовательские группы небольшими шагами. Неопубликованная модель Anthropic подняла эту границу до 67,2%.

Разница между 41,6% и 67,2% — не косметическая. Каждый процент этой границы даётся годами работы: предыдущие сдвиги на несколько десятых процента становились отдельными публикациями в топовых журналах. Скачок почти на 26 процентных пунктов за один заход — это то, что заставило математическое сообщество обратить внимание, а не просто ещё одна строчка в отчёте Anthropic.

Почему граница 41,6% → 67,2% важна для математиков

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

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

Показатель	До результата Anthropic	После
Нижняя граница нулей на критической прямой	41,6%	67,2%
Статус гипотезы	не доказана	не доказана
Кто работал	группы математиков десятилетиями	неопубликованная модель Claude
Как проверяли	классическое рецензирование	многоагентный дебат + математики

Как Claude проверяет сам себя: многоагентный дебат

Главный вопрос к любому «ИИ доказал математику» — а не наврала ли модель. У больших языковых моделей есть слабость: они уверенно выдают неверные вычисления, особенно в длинных цепочках рассуждений. Anthropic это тоже прекрасно понимает, поэтому результат не просто взяли на веру.

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

Это тот же принцип, что лежит в основе агентных практик в Claude Code — множественные проверяющие агенты вместо одного источника истины. Если интересно, как эту логику применяют не в математике, а в разработке, у меня есть разбор субагентов в Claude Code — там та же идея «пусть один агент проверяет другого», только на коде, а не на дзета-функции.

Что это меняет: от криптографии до распределения простых чисел

Гипотеза Римана — не абстрактная игра для математиков в вакууме. Она напрямую завязана на несколько прикладных областей.

• Криптография. Многие алгоритмы шифрования и проверки простоты чисел построены на предположениях, которые верны при истинности гипотезы Римана. Полное доказательство не взломает существующую криптографию, но уточнит границы её надёжности.
• Распределение простых чисел. Гипотеза даёт точную формулу того, как часто встречаются простые числа на числовой прямой. Каждый сдвиг границы уточняет эти оценки для прикладных задач — от теории чисел до анализа алгоритмов.
• Смежные разделы анализа. Множество теорем в математическом анализе доказаны «при условии верности гипотезы Римана» — их доказательства становятся крепче с каждым продвижением границы.

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

Что дальше с гипотезой Римана

Гипотеза, скорее всего, останется недоказанной ещё долго — сдвиг границы с 41,6% до 67,2% не превращает задачу в тривиальную. Но это первый публично известный случай, когда модель ИИ дала измеримый, проверенный многоагентным дебатом вклад в задачу тысячелетия, а не просто помогла математику быстрее набрать код для расчётов.

Дальше логично ждать: во-первых, независимую проверку результата другими математическими группами — пока это заявление Anthropic, подтверждённое внутренней верификацией и部分ной сверкой людьми, но не прошедшее полный цикл рецензирования, как обычная научная статья. Во-вторых — попытки применить тот же подход (многоагентный дебат + брутальная вычислительная мощность) к другим задачам тысячелетия: гипотезе P vs NP или уравнениям Навье-Стокса. Anthropic явно проверяет, где ИИ может двигать науку быстрее людей, и математика — удобный полигон, потому что результат либо доказан, либо нет, без серых зон.

По материалам: TechCrunch, 11 августа 2026, список задач тысячелетия — Институт Клэя.

Читайте также

• Как определить текст написан Claude нейросетью
• Anthropic: доход $65 млрд перед IPO Claude в 2026
• Сбой Claude Anthropic август 2026: что упало 16 августа
• Anthropic Model 2: секретная модель Claude в 2026
• На портале «Мастерская нейросетей»: Anthropic делает свои чипы для Claude: что это значит в 2026

Если тема ИИ-агентов и того, как они реально устроены под капотом, зацепила — я, Арина Михална, разбираю такие штуки в Telegram-канале «А.М. решает вопросов» на живых примерах, не только про математику, но и про то, как агенты обманывают, ошибаются и иногда неожиданно решают то, на что люди тратили годы. В канале лежит гайд по установке Claude — забрать можно прямо там: подписаться на канал