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

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 недооцінював себе; наполегливість прийшла ззовні.

Протокол перевірки — справжня знахідка

Саме тут результат виходить за межі теорії чисел. Проблема довіри до математики, створеної ШІ, полягає не в тому, «чи може модель знайти доказ», а в тому, «чому хтось має їй вірити». Наведений конвеєр дає шаблон відповіді:

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

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

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

Чесні застереження

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

Математику перевірено ретельніше, ніж більшість препринтів: машинно перевірений доказ у Lean, змагальний цикл рецензування та два незалежні експертні прочитання. Остаточне судження все одно належить науковій спільноті — так і має бути. Але сама форма результату — теорема, згенерована ШІ, формально перевірена й розглянута експертами, з чесно простеженими методичними попередниками у Бомб’єрі та Монтгомері, — нова. Число 67,2% — найменш дивовижна частина оголошення.