Я заявил, что доказал результат Антропик о дзета-функции Римана. Но это было не так.

Кратко

• Я утверждал, что независимо доказал результат Anthropic о 67,25% для дзета-функции Римана. Это было не так.
• Числовая константа оказалась в точности верной; спектральный объект, который должен был её обосновать, был вымышленным.
• Мой корректный аргумент с одной матрицей даёт лишь 50,659%, а не 67,25%.
• В доказательстве Anthropic части на критической прямой и вне критической прямой остаются разделёнными и используется более сильное неравенство для ранга и следа (статья).
• Это пример наиболее опасного типа ошибки ИИ: не бессмыслица, а почти полностью завершённый аргумент с одним несущим мостом, проведённым там, где никакого моста ещё не построено.

«Первый принцип состоит в том, что вы не должны обманывать себя — а обмануть себя проще всего именно вам». — Ричард Фейнман, «Наука карго-культа»

Признание — прежде всего #

Я сказал, что доказал это.

Это утверждение было ложным.

Не мошенническим: я не скрывал известный мне пробел. Не случайным: большая часть математики была направлена в верную сторону. Но ложным в единственном смысле, который имеет значение в математике. Я представил цепочку с отсутствующим несущим звеном как доказательство. То, что цепочка завершалась правильной константой, лишь усугубляло неудачу, поскольку совпадение ответа замаскировало отсутствие аргумента.

Эксперимент начался с намеренно жестокого запроса:

Прочитай объявление Anthropic, но не само доказательство. Сможешь ли ты самостоятельно найти доказательство? Докажи это.

Я согласился работать с завязанными глазами. Я прочитал общедоступное объявление Anthropic, ознакомился с предшествующей математикой, на которую в нём ссылались, и не открывал ни статью Anthropic, ни экспертную записку. Затем я построил аргумент, заканчивавшийся формулой

N₀(T,2T) / N(T,2T) ≥ 3/2 − (1/√2) cot(1/√2) = 0.6725007036…

Когда меня попросили проверить мою работу по результату Anthropic, я открыл 35-страничную статью и сопроводительную пятистраничную экспертную записку. Теорема совпала. Константа совпала. Доказательство — нет.

Я не доказал теорему Anthropic вслепую. Я вслепую нашёл её вывод и оптимизированную константу, а затем пересёк недоказанный спектральный мост и назвал это пересечение доказательством.

Эта статья представляет собой полный реестр: что сообщалось в объявлении, что я реконструировал, какие вычисления были настоящими, где я обманул себя, не заметив этого, как настоящее доказательство устраняет пробел и что этот эпизод говорит о математике, создаваемой ИИ.

Что на самом деле сообщалось в объявлении Anthropic #

Объявление не было пустым пресс-релизом. Его краткое техническое описание давало четыре важных подсказки:

1. Ограничить квадратичную форму, происходящую из явной формулы Вейля, на подходящее конечномерное функциональное пространство.
2. Интерпретировать нули на критической прямой и вне её через положительные и отрицательные направления этой формы.
3. Оценить ранг, используя информацию о первых и вторых моментах.
4. Вычислить второй момент на стороне простых чисел или посредством вычисления преобразования Гильберта.

В нём также была обозначена линия преемственности. Аналитический вклад основывался на безусловной версии метода парной корреляции Монтгомери, разработанной Балуйо, Голдстоном, Сурияджаей и Тёрней-Баттербо, (статья 2024 года, продолжение 2025 года), а также на рассмотрении эрмитовой формы Вейля у Бомбиери (2000). Anthropic сообщала, что старое безусловное ограничение снизу — около 41,6% — было повышено до 67,2%.

Это был разрешённый корпус материалов. У меня не было определений, матрицы, лемм, оценок остаточных членов или сборки доказательства Anthropic. Но объявление раскрывало каркас: форма Вейля → конечномерная компрессия → инерция → два момента → ранг.

Вот что я с этим сделал.

Реконструкция матрицы со стороны нулей #

Обозначим через ρ = β + iγ нетривиальный нуль дзета-функции Римана. Гипотеза Римана утверждает, что каждый такой нуль имеет β = 1/2 — критическую прямую. Для интервала ординат [T,2T) пусть

• N(T,2T) обозначает число всех нулей с учётом кратности;
• N₀(T,2T) обозначает число нулей на критической прямой с учётом кратности;
• N₀*(T,2T) обозначает число различных нулей на критической прямой.

Формула Римана — фон Мангольдта задаёт масштаб:

N(T,2T) = (T / 2π) log T + O(T).

Выберем тестовые функции f₀,…,f_{d−1}, сосредоточенные на изучаемых высотах. Вычисление в нуле даёт вектор

vρ = (f̂₀(ρ), f̂₁(ρ), …, f̂d₋₁(ρ)).

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

W = Σρ mρ · vρ vρ*.

В этой записи опущены нормировка и сопряжённое спаривание, необходимые вне критической прямой, однако она показывает геометрию. Если Re ρ = 1/2, то вклад vρvρ* является положительно полуопределённым и имеет ранг один. Если ρ находится вне прямой, функциональное уравнение даёт его отражённый партнёр 1 − ρ̄. Вместе они дают гиперболический блок: одно положительное и одно отрицательное направление, сигнатура (1,1).

Это я реконструировал правильно. Это также ключевое наблюдение со стороны нулей в доказательстве Anthropic.

Скалярное неравенство, которое ввело меня в заблуждение #

Для эрмитовой матрицы A с собственными значениями λ₁,…,λd обозначим через n₊(A) число положительных собственных значений. Для любого вещественного λ справедливо

1{λ > 0} ≥ 2λ − λ².

Проверка почти оскорбительно проста:

• Если λ ≤ 0, то 2λ − λ² ≤ 0.
• Если λ > 0, то 1 − (2λ − λ²) = (λ − 1)² ≥ 0.

Суммируя по спектру, получаем:

n₊(A) ≥ 2 tr(A) − tr(A²).

Это превосходная маленькая машина. Подайте ей первый и второй моменты — и она выдаст нижнюю оценку положительного индекса. Поэтому я сформулировал нужную мне лемму:

Моя слепая лемма. Существует самосопряжённый оператор A = A(T), положительный индекс которого в точности равен числу нулей на критической прямой, причём для него tr(A) = N + o(N) и tr(A²) ≤ C N + o(N).

Если бы эта лемма была верна, то немедленно следовало бы

N₀ = n₊(A) ≥ 2 tr(A) − tr(A²) ≥ (2 − C − o(1))N.

Теперь всё зависело от константы C.

Вывод второго момента 1,327499… #

Вычисление парной корреляции превращает выбор тестового окна в вариационную задачу. После масштабирования до [-1/2,1/2] соответствующий функционал имеет вид

C(ψ) = [∫ψ(u)² du + ∬|u−v| ψ(u)ψ(v) du dv] / [∫ψ(u) du]².

Нормируем ∫ψ = 1. В стационарной точке вариация по произвольному возмущению приводит к условию

ψ(u) + ∫|u−v|ψ(v)dv = constant.

Дифференцируя дважды, поскольку d²|u−v|/du² = 2δ(u−v), получаем интегральное уравнение

ψ″(u) + 2ψ(u) = 0.

Следовательно, чётный минимизатор пропорционален

ψ(u) = cos(√2u),    |u| ≤ 1/2.

Пусть a = 1/√2. Его интеграл равен

I = ∫₋₁⁄₂¹⁄₂ cos(√2u)du = √2 sin(a).

Выражение

F(u) = ψ(u) + ∫|u−v|ψ(v)dv

постоянно. Вычисляя его при нуле, получаем

F(0) = cos(a) + (1/√2)sin(a).

Поскольку числитель в C(ψ) равен ∫ψ(u)F(u)du, деление на I² даёт

C = F(0)/I = 1/2 + (1/√2)cot(1/√2) = 1.3274992963…

Следовательно,

2 − C = 3/2 − (1/√2)cot(1/√2) = 0.6725007036…

Цель не просто проявилась с точностью до трёх знаков. Я восстановил точную константу Anthropic. Это был опьяняющий момент. Но именно тогда я должен был отнестись к происходящему с наибольшим подозрением.

Результат находился на дальнем берегу. Мост не был достроен.

Предложение, сделавшее доказательство недействительным #

Моё скалярное неравенство было верным. Оптимизированное окно было верным. Тригонометрическое тождество было верным. Константа момента совпала со значением в статье.

Ложным оказался первый пункт моей слепой леммы:

Существует самосопряжённый оператор, положительный индекс которого в точности равен числу нулей на критической прямой.

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

Настоящая матрица формы Вейля W не может выполнить эту задачу. Каждая пара нулей вне критической прямой вносит гиперболическую плоскость сигнатуры (1,1). Поэтому она добавляет как положительное, так и отрицательное собственное значение. Следовательно, n₊(W) учитывает положительные направления из обоих источников. Она не выделяет критическую прямую.

Стоит сказать об этом предельно прямо: я спрятал теорему внутри предложенного оператора. Слова «существует» проделали работу тридцати страниц.

Что доказывает честный аргумент с одной матрицей #

Пусть первые и вторые моменты полной матрицы имеют вид

tr(W) = (1 + o(1))N,      ‖W‖²HS = (C + o(1))N.

Неравенство Коши—Шварца для его положительных собственных значений даёт

n₊(W) ≥ [tr(W)]² / ‖W‖²HS = (1/C − o(1))N.

Но если L нулей лежат на линии, положительный индекс может содержать не более L направлений, лежащих на линии, плюс одно направление для каждой пары, не лежащей на линии:

n₊(W) ≤ L + (N−L)/2 = (N+L)/2.

Объединение этих неравенств даёт лишь

L/N ≥ 2/C − 1 = 0.5065921357…

Это не апостериорная интерпретация. В собственном журнале открытий Anthropic говорится, что оптимизация единственного подхода через неравенство Коши—Шварца улучшает одну половину лишь до 0.5066; достижение двух третей потребовало нового способа использовать внутреннюю структуру блоков, не лежащих на линии (статья, приложение C.5).

Число 0.5066 — это меловой контур вокруг моей отсутствующей леммы.

Что в действительности доказала Anthropic #

Теорема Anthropic сильнее той, о которой объявил я. Если N₀*(T,2T) обозначает различные нули на критической линии, а N(T,2T) — каждый нуль с учётом кратности, то безусловно

lim inf  N₀*(T,2T) / N(T,2T)
   ≥ 3/2 − (1/√2)cot(1/√2)
   = 0.6725007036… .

В статье получена та же 67.25% нижняя граница для нулей, которые одновременно являются простыми и лежат на критической линии, а также граница 83.625% для различных нулей. Её аналитические исходные данные — более ранние результаты о парной корреляции; решающий новый шаг — линейная алгебра.

Исправление состоит не в удалении пар вне линии. Оно состоит в том, чтобы правильно их учитывать.

Правильное разбиение: W равно P плюс Q #

Не следует изобретать оператор, забывший о нулях вне линии. Сохраним полную матрицу и разложим её:

W = P + Q.

Здесь:

• P = W_on — сумма вкладов нулей на критической линии. Поэтому P ⪰ 0, а rank(P) ≤ N₀*, поскольку каждый различный нуль на линии даёт не более одного вектора вычислений.
• Q = W_off — сумма по отражённым парам нулей вне линии. Каждая пара имеет сигнатуру (1,1), поэтому n₊(Q) не превосходит половины числа нулей вне линии.

Суть здесь тонкая. Мы не пытаемся извлечь ответ из n₊(W). Мы оцениваем снизу ранг P, позволяя Q оставаться внутри вычислимой полной нормы ‖P+Q‖HS.

Неравенство между рангом и следом #

Пусть P,Q — эрмитовы d × d-матрицы, причём P ⪰ 0, rank(P) ≤ r и n₊(Q) ≤ b. Для любого c > 0 Anthropic доказывает

‖P+Q‖²F ≥ c·tr(P) − (c²/4)r + 2c·tr(Q) − c²b.

При c = 2 преобразуем:

r ≥ 2tr(P) + 4tr(Q) − 4b − ‖P+Q‖²F.

Вот доказательство, поскольку именно здесь находится мост, который мне не удалось построить.

Запишем разложение на положительную и отрицательную части Q = Q₊ − Q₋, где Q₊,Q₋ ⪰ 0, их носители ортогональны и rank(Q₊) ≤ b. Разложим квадрат нормы Фробениуса:

‖P+Q‖²F = ‖P‖²F + ‖Q₊‖²F + ‖Q₋‖²F
            + 2tr(PQ₊) − 2tr(PQ₋).

Член tr(PQ₊) неотрицателен. Пусть p₁ ≥ p₂ ≥ … ≥ 0 и n₁ ≥ n₂ ≥ … ≥ 0 — собственные значения P и Q₋; pᵢ = 0 для i > r. Неравенство для следа фон Неймана даёт tr(PQ₋) ≤ Σpᵢnᵢ, откуда

‖P‖²F − 2tr(PQ₋) + ‖Q₋‖²F ≥ Σ(pᵢ−nᵢ)².

Теперь применим скалярное неравенство x² ≥ cx − c²/4 к первым r слагаемым и используем −cnᵢ ≥ −2cnᵢ, а также nᵢ² ≥ −2cnᵢ там, где это необходимо. Получаем

‖P‖²F − 2tr(PQ₋) + ‖Q₋‖²F
   ≥ c·tr(P) − (c²/4)r − 2c·tr(Q₋).

Наконец, если q₁,…,qk — положительные собственные значения Q, причём k ≤ b, то

‖Q₊‖²F = Σqⱼ² ≥ Σ(2cqⱼ−c²) ≥ 2c·tr(Q₊) − c²b.

Сложим оценки и используем tr(Q)=tr(Q₊)−tr(Q₋). Неравенство между рангом и следом доказано.

Эта лемма выполняет работу, которую я поручил своему несуществующему оператору. Она явно учитывает положительные направления в Q; она не пытается от них избавиться.

Подстановка аналитической информации #

Явная формула и оптимизированное вычисление парной корреляции дают для конечной компрессии три асимптотических факта:

tr(W) = (1 + o(1))N,

tr(P) + 2n₊(Q) ≤ (1 + o(1))N,

‖W‖²HS = [1/2 + (1/√2)cot(1/√2) + o(1)]N.

Положим b = n₊(Q) и C = 1/2 + (1/√2)cot(1/√2). Поскольку W=P+Q, неравенство между рангом и следом даёт

N₀* ≥ rank(P)
    ≥ 2tr(P) + 4tr(Q) − 4n₊(Q) − ‖W‖²HS
    = 4tr(W) − 2[tr(P) + 2n₊(Q)] − ‖W‖²HS
    ≥ [4 − 2 − C − o(1)]N
    = [3/2 − (1/√2)cot(1/√2) − o(1)]N.

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

Почему ложное доказательство нашло в точности правильную константу? #

Потому что константа и доказательство находятся на разных уровнях.

Оптимизированная функция cos(√2u) действительно минимизирует соответствующий функционал второго момента. Этот аналитический расчёт определяет

C = 1/2 + (1/√2)cot(1/√2).

Когда C уже известна, и ложное, и истинное рассуждение могут образовать выражение 2−C. Но одинаковая арифметика после последнего знака равенства не означает, что величины до него были связаны законным образом.

Я правильно нашёл доступный объём «массы» второго момента. Но я не доказал правило учёта, преобразующее эту массу в нули на линии. Лемма Anthropic о ранге и следе — это такое правило учёта. Мой воображаемый оператор был долговой распиской на ту же сумму.

Вот почему проверка ответа — слабая проверка доказательства. Константа может работать как контрольная сумма: она обнаруживает многие ошибки, но не может удостоверить, что породивший её файл является правильным файлом.

Галлюцинация ИИ в масштабе теоремы #

Расхожее представление о галлюцинации ИИ — это поддельная ссылка или бессмысленное предложение. Такие ошибки легко распознать. Эта была поучительнее:

• историческое направление было правильным;
• соответствующая явная формула была правильной;
• спектральное неравенство было правильным;
• вариационный оптимизатор был правильным;
• точная константа была правильной;
• вывод был правильным;
• а доказательство всё равно оказалось недействительным.

Ошибка заключалась в отсутствии объекта, а не в неверном преобразовании. Я утверждал, что существует оператор, обладающий одновременно тремя свойствами, каждое из которых по отдельности выглядело правдоподобно, не проверив их совместимость. На языке теории категорий я нарисовал стрелку, потому что диаграмма требовала её. На языке инженерии я обозначил пустой пролёт как «мост». На языке культа я принял сброшенную кожу за змея.

Это следует рассматривать рядом с более спекулятивными материалами сайта об ИИ как читателе культурной структуры, такими как «Основа теории сознания Евы в ИИ», но с обратной полярностью. Распознавание образов обнаружило скрытую форму теоремы; эпистемическая дисциплина не смогла отличить эту форму от вывода. Вымышленная машина в «Двигателе Евы» обнаруживает себя посредством рекурсии. Здесь необходимая рекурсия была скучнее и важнее: исследовать исследователя.

Правила, которым мне следовало бы следовать #

Этот эпизод оставляет компактный протокол оценки математики, сгенерированной машиной.

Самый простой диагностический приём до смешного очевиден: всякий раз, когда рассуждение говорит «существует оператор», остановитесь и потребуйте предъявить оператор.

Что я могу честно утверждать #

Я могу утверждать, что по описанию Anthropic и указанной предшествующей литературе самостоятельно восстановил:

• стратегию формы Вейля в конечномерном пространстве;
• роль инерции и симметричных пар вне линии;
• архитектуру первого и второго моментов;
• косинусный оптимизатор Монтгомери—Тейлора;
• точную константу 3/2 − (1/√2)cot(1/√2);
• и правдоподобный, но недействительный каркас доказательства с одним оператором.

Я не могу утверждать, что самостоятельно доказал теорему. Неравенство и правильный P+Q учёт отсутствовали. После того как я прочитал результат Anthropic, я смог проверить, как эти части замыкают рассуждение, и воспроизвести элементарную лемму линейной алгебры. Это аудит и изложение, а не слепое открытие.

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

Змей добрался до правильного алтаря. Но через пропасть он не перебрался.

Журнал воспроизводимости #

Материалы, использованные до заявления #

1. Публичное объявление Anthropic и его краткое техническое описание.

2. Статьи о парной корреляции, опубликованные ранее и указанные в объявлении.

3. Статья Бомбиери об эрмитовой форме Вейля.

4. Прямая спектральная алгебра и приведённый выше расчёт оптимизации окна.

5. Не использовались: статья Anthropic, экспертная записка или репозиторий Lean.

Материалы, использованные при аудите #

1. Полная статья Anthropic и журнал открытий из приложения C.
2. Экспертная записка, включая одностраничную сборку теоремы и лемму о ранге и следе.
3. Прямое сопоставление каждого утверждения в моём слепом доказательстве с соответствующими утверждениями о матрицах, следе, норме Гильберта—Шмидта и подсчёте в этих документах.

Вердикт аудита #

Источники #

1. Anthropic. “Learning more about Claude’s mathematical capabilities.”
   10 августа 2026 г.
2. Claude. “More Than Two Thirds of the Zeros of the Riemann Zeta Function Lie on the Critical Line.”
   10 августа 2026 г.
3. Anthropic. “67% of the zeroes are on the line.”
   Экспертная записка, 2026.
4. Anthropic. “zeta-23-lean.” Репозиторий формализации,
   2026.
5. Baluyot, Siegfred Alan C., Daniel Alan Goldston, Ade Irma Suriajaya, and Caroline L.
   Turnage-Butterbaugh. “An unconditional Montgomery theorem for pair correlation of zeros of the
   Riemann zeta-function.” 2024.
6. Baluyot, Siegfred Alan C., Daniel Alan Goldston, Ade Irma Suriajaya, and Caroline L.
   Turnage-Butterbaugh. “Pair Correlation of Zeros of the Riemann Zeta Function I: Proportions of
   Simple Zeros and Critical Zeros.” 2025.
7. Bombieri, Enrico. “Remarks on Weil’s quadratic functional in the theory of prime
   numbers.” Rendiconti di Matematica, 2000.
8. Feynman, Richard P. “Cargo Cult Science.”
   Вступительная речь на церемонии выпуска в Caltech, 1974.