Claude podniósł udowodniony udział zer funkcji dzeta na linii krytycznej do 67,2% — a metoda jest ważniejsza niż liczba

10 sierpnia Anthropic opublikował notatkę badawczą, której autorem jest duży model językowy. Wynik: co najmniej 67,2% nietrywialnych zer funkcji dzeta Riemanna leży na linii krytycznej Re(s) = 1/2. Bezwarunkowo. Poprzedni udowodniony rekord wynosił 41,6% (5/12) — liczba ta przetrwała cztery dekady udoskonaleń metody Levinsona.

Claude nie dowiódł hipotezy Riemanna. Artykuł mówi to wprost, dwukrotnie. To, czego dokonał — i nad tym warto się zatrzymać — to przekształcenie warunkowego wyniku 67% w bezwarunkowy wynik 67%, za pomocą metody rzeczywiście nowej: bez oszacowań gęstości zer, bez obszaru wolnego od zer i bez mollifikatora. Dane arytmetyczne pochodzą dokładnie z bezwarunkowego, znanego od 1973 roku oszacowania Montgomery’ego po stronie liczb pierwszych dla drugiego momentu korelacji par przy szerokości pasma ≤ 1. Wszystko, do czego odczytania potrzebne było wcześniej RH, zastąpiono algebrą liniową na skończonej macierzy.

Dlaczego ta liczba ma znaczenie

Hipoteza Riemanna mówi, że każde nietrywialne zero ma część rzeczywistą dokładnie równą 1/2. Pozostaje nieudowodniona od 1859 roku; jest jednym z problemów milenijnych Instytutu Claya z nagrodą miliona dolarów. Wyniki częściowe to dolne ograniczenia udziału zer leżących na linii, a ich pełna historia wygląda następująco:

Hardy (1914): nieskończenie wiele zer na linii.
Selberg (1942): dodatni odsetek.
Levinson (1974): co najmniej 1/3 dzięki metodzie mollifikatora.
Conrey (1989): 2/5 po udoskonaleniu metody Levinsona.
Bui–Conrey–Young, Feng, Pratt–Robles–Zaharescu–Zeindler: 5/12, dotychczasowy rekord aż do tego tygodnia.

Każda liczba z tej listy pochodzi z tej samej rodziny technik — metody Levinsona i jej następców. Nowe 2/3 nie. Pochodzi z kręgu idei korelacji par Montgomery’ego, który wcześniej można było wykorzystywać tylko warunkowo, przy założeniu RH. To przełom strukturalny, a nie kolejny mały krok: po raz pierwszy „konsekwencje korelacji par warunkowe względem RH” o tej sile oddzielono od samej RH.

Liczba 2/3 ma własną historię. W 1973 roku Montgomery pokazał, że przy założeniu RH co najmniej 2/3 zer jest prostych (później Goldston i inni zaostrzyli ten wynik do 67,9%). To samo 2/3 pojawia się tutaj, teraz bezwarunkowo — ale w odniesieniu do zer na linii i liczonych jako różne zera, a nie jako „proste” w sensie Montgomery’ego. To rozróżnienie ma znaczenie: N₀* liczy różne zera na linii krytycznej, więc krotności nie działają na twoją niekorzyść. Artykuł dowodzi także, że co najmniej 5/6 wszystkich zer jest różnych; to również wynika z tej samej aparatury.

Dwa kolejne punkty strukturalne. Po pierwsze, twierdzenie dotyczy zakresów dyadycznych [T, 2T] z błędem o(1); dolna granica granicy przy T→∞ wynosi co najmniej 2/3, a artykuł informuje, że dla skończonego T stosunek pozostaje poniżej granicy, ponieważ zbieżność jest powolna (uwaga 5.9). Po drugie, metoda nie zatrzymuje się na 2/3: przy optymalnym oknie Montgomery’ego–Taylora stała wynosi 0,67250…, czyli dokładnie tyle, co warunkowa względem RH stała Montgomery’ego–Taylora. 2/3 to czyste sformułowanie; metoda bez dodatkowego wysiłku daje nieco więcej.

Inny silnik

W tym miejscu wynik przestaje być tylko rekordem, a staje się techniką. Jawny wzór Weila zamienia stwierdzenie o dodatniości funkcji testowych w twierdzenie o zerach: odpowiadający mu funkcjonał kwadratowy jest dodatnio półokreślony wtedy i tylko wtedy, gdy zachodzi RH. Ta równoważność jest zarazem siłą i pułapką — każda naiwna próba „udowodnienia RH przez dodatniość” rozbija się o nią, a agent-koordynator Claude’a donosi, że podczas wcześniejszej sesji z tysiącem agentów pierwszy merytoryczny krok każdej zaproponowanej ścieżki okazywał się dodatniością Weila albo czymś z nią równoważnym.

Sztuczka polega na tym, by przestać pytać o całą formę w nieskończonym wymiarze. Claude ogranicza parowanie do skończeniewymiarowej przestrzeni funkcji testowych — „systemu Gabora” z modulowanymi oknami, zawierającego d ≈ λN(T,2T) funkcji — i analizuje otrzymaną skończoną rzeczywistą macierz symetryczną. Wtedy:

zera na linii krytycznej dają dodatnio półokreślone bloki rzędu jeden;
zera poza linią, na mocy równania funkcyjnego, występują w parach {ρ, 1−ρ̄} i dają nieokreślone bloki (1,1) — sygnaturę przestrzeni Kreĭna, a nie przestrzeni Hilberta;
prawo bezwładności Sylvestera ogranicza sygnaturę całej formy;
nierówność rangowo-śladowa, dowiedziona za pomocą nierówności śladowej von Neumanna, łączy sygnaturę z obliczalnymi momentami śladowymi;
same ślady są bezwarunkowo obliczane z liczb pierwszych do X = (T/2π)^λ za pomocą metody Montgomery’ego–Vaughana.

Strona zer i strona liczb pierwszych są powiązane tożsamością sumowania Poissona, która daje dokładnie jądro próbkowania, bez aliasingu. Numerycznie obie strony zgadzają się dla małych wysokości z dokładnością do 10⁻⁸. Najważniejszy krok ma charakter koncepcyjny: klasycznie RH było potrzebne, aby odczytywać stronę zer jako dodatnią sumę po rzeczywistych rzędnych. Tutaj nieokreśloność par spoza linii zostaje wchłonięta przez algebrę liniową — nie trzeba wiedzieć, jak daleko od linii znajduje się zero; wystarczy, że jego blok (1,1) ma ograniczony rząd. Ujemny indeks obsługuje twierdzenie o bezwładności, zamiast wyzerowania go za pomocą nieudowodnionego założenia.

Dlatego właśnie właściwym poprzednikiem, którego należy przywołać, jest artykuł Bombieriego z 2000 roku „Remarks on Weil’s quadratic functional in the theory of prime numbers, I”: badał on skończone obcięcia formy Weila i pokazał, że jeśli RH zawodzi z powodu tylko skończenie wielu złych zer, liczba ujemnych wartości własnych dostatecznie dużego obcięcia jest równa połowie liczby złych zer. Sygnatura skończonej kompresji koduje, w jaki sposób RH zawodzi. Wkład Claude’a polega na pokazaniu, że z tej sygnatury można wydobyć liczbę zer na linii, nie rozstrzygając nigdy, które zera poza linią istnieją.

Czego to nie mówi i gdzie znajduje się pułap

Artykuł wyjątkowo jasno opisuje swoje ograniczenia. Żaden certyfikat tego rodzaju nie może przekroczyć 0,68185 — informacja z pierwszego i drugiego momentu przy szerokości pasma λ ≤ 1 wyznacza twardą granicę, a λ ≤ 1 jest niezbędne dla argumentu (powyżej tej wartości potrzebne byłyby informacje, których bezwarunkowa strona liczb pierwszych nie dostarcza). Osiągnięcie 0,70/0,80/0,90 wymagałoby nośnika korelacji par sięgającego w przybliżeniu 1,04/1,26/1,70, czyli rzeczywiście nowych danych arytmetycznych, a nie sprytniejszej algebry liniowej.

Uczciwa interpretacja jest więc taka: nie jest to krok w stronę dowodu RH i autorzy tego nie twierdzą. To krok w stronę starszego i prawdopodobnie łatwiejszego projektu — programu „uczynienia konsekwencji RH bezwarunkowymi”, w duchu tego, co Bombieri i inni zrobili dla liczb pierwszych w krótkich przedziałach. Pokazuje również, że aparatura korelacji par, uwolniona od RH, jest przy tym konkretnym zadaniu silniejsza niż aparatura mollifikatorów.

54-godzinna sesja, która za tym stała

Dodatek jest ciekawszą lekturą i należy go czytać jako artykuł o przepływie pracy, a nie jako barwną opowieść. Agent-koordynator uruchomił około 60 izolowanych subagentów w ciągu półtorej doby: 2 400 poleceń powłoki, setki skryptów w Pythonie i 31 milionów tokenów wyjściowych. Koordynator niemal sam nie zajmował się matematyką; jego rola obejmowała kierowanie, triage i weryfikację.

Dwaj subagenci dostarczyli kluczowych pomysłów. E2 dowiódł, że droga przez ujemny indeks jest pusta — rzeczywisty skończony ujemny indeks jest identycznie równy zeru — a następnie odwrócił tę ideę, ograniczając od dołu indeks dodatni za pomocą śladów po stronie liczb pierwszych, aby wykazać, że co najmniej połowa zer leży na linii. E2-pairs poświęcił 91 minut na rozważania, przeprowadził eksperymenty numeryczne przeczące własnemu zleceniu i napisał lemat rangowo-śladowy, który podniósł 1/2 do 2/3. Cztery minuty po jego napisaniu awaria infrastruktury przerwała działanie w połowie zdania. Koordynator odczytał katalog martwego agenta, rozpoznał wynik jako „najważniejszą rzecz, jaka wydarzyła się tej nocy”, sprawdził pięciowierszowy dowód linijka po linijce i wznowił pracę tego samego agenta z listą kontrolną.

Kilka rzeczy wyróżnia sposób, w jaki to zadziałało. Dwie własne twórcze prognozy koordynatora były błędne — przy kroku do jednej drugiej wskazał mechanizm w złym kierunku, a przy kroku do dwóch trzecich podał niewłaściwą dźwignię odzyskania wyniku — podczas gdy jego architektura recenzencka zadziałała. Subagenci byli celowo izolowani: nie mogli widzieć rozmowy ani siebie nawzajem, co utrzymywało ich błędy niezależnymi i nadawało sens wrogiej weryfikacji. Wkład człowieka ograniczył się do kilku jednowierszowych poleceń: „Wznów pracę”, „Doprowadź to do 2/3”, „Kontynuuj”. Claude początkowo nie doceniał własnych możliwości; wytrwałość przyszła z zewnątrz.

Protokół weryfikacji jest prawdziwym odkryciem

W tym miejscu znaczenie wyniku wykracza poza teorię liczb. Problemem zaufania do matematyki tworzonej przez AI nie jest pytanie „czy model potrafi znaleźć dowód?”, lecz „dlaczego ktokolwiek miałby mu uwierzyć?”. Zastosowany tu proces jest wzorcem odpowiedzi na to pytanie:

Ślepi, wrodzy agenci-recenzenci, którym przydzielono rozłączne luki i plany ataku, a także zabroniono czytania swoich prac. Znaleźli jeden rzeczywisty błąd — fałszywą przesłankę dotyczącą macierzy mas — i zaproponowali poprawkę, która trafiła do artykułu. Pętla adversarialna wyłapała halucynację; właśnie tak powinien działać ten system.
Ślepy agent ponownego wyprowadzenia, który dowiódł wyniku bez czytania dowodu, oraz przypadki kontrolne, w których wiadomo, że RH zawodzi. Jedno i drugie to tanie formy odtwarzalności.
Agent literaturowy, który pobrał 54 artykuły z arXiv, aby sprawdzić nowość — koordynator wyraźnie odmówił zaufania własnej pamięci.
Formalizacja w Lean 4 / Mathlib twierdzeń A–E, bez sorry, zależna wyłącznie od trzech standardowych aksjomatów (propext, Classical.choice, Quot.sound). Obejmuje ona jawny wzór Weila, zliczanie Riemanna–von Mangoldta, oszacowania Stirlinga, Chebysheva–Mertensa i Montgomery’ego–Vaughana — sformalizowano również analityczne rusztowanie, a nie tylko główne twierdzenie.
Eksperci-ludzie: matematycy Anthropic Levent Alpöge i Ralph Furman zweryfikowali wynik, a zewnętrzni eksperci Brian Conrey i Dan Goldston zbadali go w krótkim terminie.

Najbardziej pouczające są własne zastrzeżenia koordynatora. „Nie mówię, że połowa zer leży na linii. Mówię, że agent stworzył argument z takim wnioskiem”. „Wynik wymaga ludzkiego eksperta”. Werdykt końcowej wersji roboczej brzmi: „Następnym czytelnikiem powinna być osoba”.

To właściwy podział pracy i warto go nazwać: generowanie i wykonywanie można równoleglić; weryfikacja jest warstwowa i adversarialna; formalizacja stanowi źródło prawdy; osąd pozostaje w rękach ludzi. Błąd wykryty przez recenzentów jest powodem istnienia tego procesu — model generujący wiarygodny dowód to właśnie sytuacja, w której niekrytyczny czytelnik może ponieść szkodę.

Uczciwe zastrzeżenia

To artefakt badawczy na poziomie preprintu, opublikowany w tym samym tygodniu, w którym został napisany. Sama notatka ekspercka wskazuje nierozwinięte człony błędu (ogona O(T^δ log T) i O(T^{1/2−2δ}) naszkicowano, zamiast w pełni je rozpisać). Formalizacja w Lean jest statycznym artefaktem badawczym, a nie utrzymywaną biblioteką. Również zachowania na poziomie sesji — koordynator, którego prognozy dwukrotnie okazały się błędne, oraz agent, którego zauważono dopiero po awarii infrastruktury — nie stanowią jeszcze odtwarzalnego procesu; są pojedynczą obserwacją tego, co ten przepływ pracy może wytworzyć, gdy działa.

Matematykę sprawdzono dokładniej niż większość preprintów: za pomocą maszynowo sprawdzonego dowodu w Lean, adversarialnej pętli recenzenckiej i dwóch niezależnych lektur eksperckich. Ostateczny osąd nadal należy do środowiska naukowego, i tak właśnie powinno być. Jednak kształt całości — twierdzenie wygenerowane przez AI, formalnie zweryfikowane, sprawdzone przez ekspertów, z metodą uczciwie powiązaną z jej poprzednikami u Bombieriego i Montgomery’ego — jest nowy. Liczba 67,2% to najmniej zaskakująca część ogłoszenia.