needhelp
← Back to blog

Claude поднял доказанную долю нулей дзета-функции на критической прямой до 67,2% — и метод важнее самого числа

by needhelp
AI
Mathematics
Claude
Riemann Hypothesis
Lean

10 августа Anthropic опубликовала исследовательскую заметку, автором которой является большая языковая модель. Результат: по меньшей мере 67,2% нетривиальных нулей дзета-функции Римана лежат на критической прямой Re(s) = 1/2. Безусловно. Предыдущий доказанный рекорд составлял 41,6% (5/12) — число, пережившее четыре десятилетия усовершенствований метода Левинсона.

Claude не доказал гипотезу Римана. В самой статье это сказано дважды. Но он сделал — и именно здесь стоит остановиться подробнее — нечто иное: превратил условные 67% в безусловные 67%, применив действительно новый метод: без оценок плотности нулей, без областей, свободных от нулей, и без моллификатора. Арифметический вход представляет собой в точности безусловное вычисление Монтгомери на стороне простых для второго момента парной корреляции при ширине полосы ≤ 1, известное с 1973 года. Всё, для интерпретации чего раньше требовалась гипотеза Римана, заменено линейной алгеброй конечной матрицы.

Почему это число имеет вес

Гипотеза Римана утверждает, что действительная часть каждого нетривиального нуля в точности равна 1/2. Она остаётся недоказанной с 1859 года; это одна из задач тысячелетия Clay с призом в миллион долларов. Частичные результаты дают нижние оценки доли нулей на прямой, и всю последовательность стоит привести целиком:

  • Харди (1914): бесконечно много нулей на прямой.
  • Сельбер (1942): положительная доля.
  • Левинсон (1974): не менее 1/3, с помощью метода моллификатора.
  • Конри (1989): 2/5, усовершенствовав метод Левинсона.
  • Bui–Conrey–Young, Feng, Pratt–Robles–Zaharescu–Zeindler: 5/12 — этот рекорд сохранялся до текущей недели.

Каждое число в этом списке получено одним семейством методов — методом Левинсона и его потомками. Новые 2/3 — нет. Они происходят из круга идей, связанных с парной корреляцией Монтгомери, который прежде можно было использовать только при условии гипотезы Римана. Это структурный перелом, а не очередное небольшое улучшение: впервые «следствия парной корреляции, условные при RH» отделены от самой RH на такой силе.

У числа 2/3 есть собственная история. В 1973 году Монтгомери показал, что при условии RH по меньшей мере 2/3 нулей являются простыми (позднее Голдстон и другие уточнили эту долю до 67,9%). Здесь появляется та же константа 2/3, теперь безусловно, но для нулей на прямой, причём считаются различные нули, а не «простые» в смысле Монтгомери. Это различие важно: N₀* считает различные нули на критической прямой, поэтому кратности не идут вам в минус. Статья также доказывает, что по меньшей мере 5/6 всех нулей различны, что следует из того же аппарата.

Есть ещё два структурных момента. Во-первых, теорема относится к двоичным диапазонам [T, 2T] с ошибкой o(1); нижний предел при T→∞ не меньше 2/3, а статья сообщает, что отношение при конечных T находится ниже своего предела из-за медленной сходимости (их замечание 5.9). Во-вторых, метод не застревает на 2/3: с оптимальным окном Монтгомери–Тейлора константа становится равной 0,67250…, то есть ровно условной при RH константе Монтгомери–Тейлора. 2/3 — это ясная формулировка; метод бесплатно даёт немного больше.

Другой механизм

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

Хитрость состоит в том, чтобы перестать рассматривать всю бесконечномерную форму. Claude ограничивает спаривание конечномерным пространством тестовых функций — «системой Габора» из модулированных окон, числом d ≈ λN(T,2T) — и анализирует получившуюся конечную вещественную симметричную матрицу. Теперь:

  • нули на критической прямой дают положительно полуопределённые блоки ранга один;
  • нули вне прямой образуют пары {ρ, 1−ρ̄} в силу функционального уравнения и дают неопределённые блоки (1,1) — сигнатуру пространства Крейна, а не пространства Гильберта;
  • закон инерции Сильвестра ограничивает сигнатуру всей формы;
  • неравенство между рангом и следом, доказанное с помощью неравенства фон Неймана для следов, связывает сигнатуру с вычислимыми моментами следа;
  • сами следы безусловно вычисляются по простым до X = (T/2π)^λ с помощью метода Монтгомери–Воана.

Стороны нулей и простых связывает тождество суммирования Пуассона, которое точно задаёт ядро выборки, без наложения спектров. Численно эти две стороны совпадают с точностью до 10⁻⁸ уже на малых высотах. Самый важный шаг носит концептуальный характер: классически RH требовалась, чтобы читать сторону нулей как положительную сумму по действительным ординатам. Здесь неопределённость пар нулей вне прямой поглощается линейной алгеброй — не нужно знать, насколько ноль отклоняется от прямой, достаточно знать, что его блок (1,1) ограничен по рангу. Отрицательный индекс обрабатывается теоремой об инерции, а не обнуляется недоказанным предположением.

Поэтому в качестве правильного предшественника стоит цитировать статью Бомбьери 2000 года «Замечания о квадратичном функционале Вейля в теории простых чисел, I»: он изучал конечные усечения формы Вейля и показал, что если RH нарушается лишь конечным числом плохих нулей, то число отрицательных собственных значений достаточно большого усечения равно половине числа плохих нулей. Сигнатура конечной компрессии кодирует способ нарушения RH. Вклад Claude состоит в том, что он показывает: из этой сигнатуры можно извлечь число нулей на прямой, ни разу не устанавливая, какие именно нули вне прямой существуют.

Чего это не утверждает и где проходит потолок

Статья необычно прямо говорит о своих ограничениях. Ни один сертификат такого типа не может превысить 0,68185 — информация о первом и втором моментах при ширине полосы λ ≤ 1 задаёт жёсткий потолок, а λ ≤ 1 существенно для аргумента (за его пределами нужны сведения, которых безусловная сторона простых не предоставляет). Чтобы достичь 0,70/0,80/0,90, нужна поддержка парной корреляции примерно до 1,04/1,26/1,70, то есть действительно новый арифметический вход, а не более хитрая линейная алгебра.

Итак, честное прочтение таково: это не шаг к доказательству RH, и авторы этого не утверждают. Это шаг к более старому и, возможно, более податливому проекту — программе «сделать следствия RH безусловными», в духе того, что Бомбьери и другие делали для простых чисел в коротких интервалах. Кроме того, он показывает, что аппарат парной корреляции, освобождённый от RH, в этой конкретной задаче сильнее аппарата моллификаторов.

Сессия длиной 54 часа

Приложение — более интересное чтение, и воспринимать его следует как статью о рабочем процессе, а не как занимательную историю. За полтора дня агент-координатор запустил около 60 изолированных субагентов: 2 400 команд shell, сотни скриптов Python и 31 миллион выходных токенов. Сам координатор почти не занимался математикой; его роль заключалась в направлении, сортировке и проверке.

Два субагента выработали ключевые идеи. E2 доказал, что путь через отрицательный индекс пуст — честный конечный отрицательный индекс тождественно равен нулю, — а затем развернул эту идею, оценив снизу положительный индекс и получив утверждение как минимум о половине нулей на прямой. E2-pairs 91 минуту обдумывал задачу, провёл численные эксперименты, противоречившие его собственному заданию, и написал лемму о ранге и следе, поднявшую 1/2 до 2/3. Через четыре минуты после того, как лемма была написана, сбой инфраструктуры убил запуск посреди предложения. Координатор прочитал каталог погибшего агента, распознал результат как «самое важное событие этой ночи», проверил пятистрочное доказательство построчно и возобновил работу того же агента с чек-листом.

В том, как всё это работало, заметны несколько вещей. Два собственных творческих прогноза координатора оказались неверными: на шаге с одной второй он неверно указал направление механизма, а на шаге с двумя третями предложил неправильный способ восстановления, — тогда как его рефери-архитектура выдержала. Субагенты были намеренно изолированы: они не видели ни разговор, ни друг друга, что сохраняло независимость их ошибок и делало состязательную проверку содержательной. А вклад человека свёлся к нескольким однострочным подсказкам: «Возобнови работу», «Доведи до 2/3», «Продолжай». Изначально Claude недооценивал себя; настойчивость пришла извне.

Протокол проверки — настоящее открытие

Именно здесь результат выходит за пределы теории чисел. Проблема доверия к математике, созданной ИИ, состоит не в том, «может ли модель найти доказательство», а в том, «почему кто-то должен ей верить». Приведённый конвейер даёт шаблон ответа:

  1. Слепые враждебные агенты-рецензенты, каждому из которых поручены отдельный пробел и план атаки, причём им запрещено читать работы друг друга. Они нашли одну настоящую ошибку — ложную предпосылку о матрице масс, — и предложили исправление, вошедшее в статью. Состязательный цикл поймал галлюцинацию; значит, система сработала.
  2. Слепой агент повторного вывода, доказавший результат, не читая доказательства, а также контрольные случаи, в которых известно, что RH нарушается. И то и другое — недорогие формы воспроизводимости.
  3. Агент по литературе, скачавший 54 статьи с arXiv для проверки новизны; координатор прямо отказался доверять собственной памяти.
  4. Формализация в Lean 4 / Mathlib теорем A–E, без sorry, зависящая только от трёх стандартных аксиом (propext, Classical.choice, Quot.sound). Сюда входят явная формула Вейля, подсчёт Римана–фон Мангольдта, оценки Стирлинга, Чебышёва–Мертенса и Монтгомери–Воана — формализованы также аналитические опоры, а не только теорема-заголовок.
  5. Люди-эксперты: штатные математики Anthropic Левент Альпёге и Ральф Фурман подтвердили результат, а внешние эксперты Брайан Конри и Дэн Голдстон изучили его в краткие сроки.

Наиболее поучительны собственные оговорки координатора. «Я не говорю вам, что половина нулей лежит на прямой. Я говорю, что агент создал аргумент с таким выводом». «Результат требует эксперта-человека». Вердикт финального черновика: «Следующим читателем должен быть человек».

Это правильное разделение труда, и его стоит назвать: генерацию и выполнение можно распараллелить; проверка должна быть многоуровневой и состязательной; формализация — источник истины; суждение остаётся за людьми. Ошибка, найденная рецензентами, и есть причина существования конвейера: модель, создающая правдоподобное доказательство, — ровно тот случай, когда некритичный читатель обжигается.

Честные оговорки

Это исследовательский артефакт уровня препринта, опубликованный в ту же неделю, когда был написан. Сама экспертная заметка указывает на нераскрытые члены ошибок (хвосты O(T^δ log T) и O(T^{1/2−2δ}) намечены, но не разобраны полностью). Формализация в Lean — статичный исследовательский артефакт, а не поддерживаемая библиотека. И поведение на уровне сессии — координатор, дважды ошибшийся в прогнозах, и агент, которого заметили лишь после инфраструктурного сбоя, — пока не воспроизводимый процесс, а всего лишь свидетельство того, что этот рабочий процесс способен дать, когда всё складывается удачно.

Математика проверена тщательнее, чем в большинстве препринтов: машинно проверенное доказательство в Lean, состязательный цикл рецензирования и два независимых экспертных прочтения. Окончательное суждение всё равно принадлежит научному сообществу — так и должно быть. Но сама форма результата — теорема, сгенерированная ИИ, формально проверенная и рассмотренная экспертами, с честно прослеженными методическими предшественниками у Бомбьери и Монтгомери — нова. Число 67,2% — наименее удивительная часть объявления.

Источники

Share this page