Claude Menaikkan Proporsi Terbukti Nol Zeta di Garis Kritis ke 67.2% — dan Metodenya Lebih Penting daripada Angkanya

Pada 10 Agustus, Anthropic menerbitkan catatan riset yang penulisnya adalah sebuah model bahasa besar. Hasilnya: setidaknya 67.2% dari nol nontrivial fungsi zeta Riemann berada di garis kritis Re(s) = 1/2. Tanpa syarat. Rekor terbukti sebelumnya adalah 41.6% (5/12) — angka yang bertahan empat dekade melawan penyempurnaan metode Levinson.

Claude tidak membuktikan Hipotesis Riemann. Makalahnya sendiri mengatakannya dua kali. Yang ia lakukan — dan ini bagian yang layak diperlambat — adalah mengubah 67% bersyarat menjadi 67% tanpa syarat dengan metode yang benar-benar baru: tanpa estimasi kerapatan-nol, tanpa daerah bebas-nol, tanpa mollifier. Input aritmetiknya persis evaluasi sisi-prima Montgomery atas momen kedua korelasi-pasangan pada bandwidth ≤ 1, yang sudah tanpa syarat sejak 1973. Semua yang dulu harus dibaca lewat RH kini digantikan aljabar linear pada matriks berhingga.

Mengapa angka ini punya bobot

Hipotesis Riemann mengatakan setiap nol nontrivial memiliki bagian riil tepat 1/2. Belum terbukti sejak 1859; salah satu Clay Millennium Problems dengan hadiah sejuta dolar. Hasil parsialnya adalah batas bawah atas fraksi nol yang berada di garis, dan silsilahnya layak ditulis lengkap:

Hardy (1914): tak hingga banyak nol di garis.
Selberg (1942): proporsi positif.
Levinson (1974): setidaknya 1/3, lewat metode mollifier.
Conrey (1989): 2/5, menyempurnakan Levinson.
Bui–Conrey–Young, Feng, Pratt–Robles–Zaharescu–Zeindler: 5/12, rekor yang bertahan sampai minggu ini.

Setiap angka dalam daftar itu berasal dari keluarga teknik yang sama — metode Levinson dan keturunannya. 2/3 yang baru tidak. Ia berasal dari lingkaran gagasan korelasi-pasangan Montgomery, yang sebelumnya hanya bisa dipakai jika RH berlaku. Itu patahan struktural, bukan penambahan: untuk pertama kalinya “konsekuensi korelasi-pasangan bersyarat RH” dipisahkan dari RH sendiri pada kekuatan ini.

Angka 2/3 punya sejarah sendiri. Montgomery menunjukkan pada 1973 bahwa, di bawah RH, setidaknya 2/3 nol bersifat simple (nanti dipertajam ke 67.9% oleh Goldston dan lainnya). 2/3 di sini konstanta yang sama, kini tanpa syarat — tetapi untuk nol di garis, dan dihitung sebagai nol yang berbeda, bukan “simple” dalam pengertian Montgomery. Perbedaan itu penting: N₀* menghitung nol yang berbeda di garis kritis, jadi multiplisitas tidak dihitung melawan Anda. Makalah ini juga membuktikan setidaknya 5/6 nol semuanya berbeda, yang mengikuti dari mesin yang sama.

Dua poin struktural lagi. Pertama, teoremanya soal rentang dyadic [T, 2T] dengan galat o(1); liminf untuk T→∞ setidaknya 2/3, dan makalah melaporkan rasio pada T berhingga berada di bawah limitnya karena konvergensinya lambat (Remark 5.9 mereka). Kedua, metode tidak macet di 2/3: dengan window Montgomery–Taylor optimal, konstanta menjadi 0.67250…, yang persis konstanta Montgomery–Taylor bersyarat RH. 2/3 adalah pernyataan yang bersih; metode ini bisa sedikit lebih baik secara gratis.

Mesin yang berbeda

Di sinilah hasil berhenti menjadi rekor dan menjadi teknik. Weil explicit formula mengubah pernyataan kepositifan tentang fungsi uji menjadi klaim tentang nol: fungsional kuadratik terkait bersifat positive semidefinite jika dan hanya jika RH benar. Ekuivalensi itu adalah kekuatan sekaligus jebakannya — setiap rute naif “buktikan RH lewat kepositifan” mati di sana, dan agen koordinator Claude melaporkan bahwa dalam sesi seribu agen sebelumnya, langkah substantif pertama setiap rute yang diusulkan ternyata Weil positivity atau ekuivalennya dalam penyamaran.

Triknya adalah berhenti bertanya soal seluruh bentuk berdimensi tak hingga. Claude membatasi pairing ke ruang fungsi uji berdimensi hingga — sebuah “Gabor system” berisi window termodulasi, sebanyak d ≈ λN(T,2T) — dan menganalisis matriks simetris riil berhingga yang dihasilkan. Sekarang:

nol di garis kritis menyumbang blok rank-one semidefinit positif;
nol di luar garis berpasangan sebagai {ρ, 1−ρ̄} di bawah persamaan fungsional dan menyumbang blok tak-tentu (1,1) — signature ruang Kreĭn, bukan ruang Hilbert;
Sylvester’s law of inertia membatasi signature seluruh bentuk;
ketaksamaan rank–trace, dibuktikan lewat von Neumann trace inequality, menghubungkan signature dengan momen jejak yang dapat dihitung;
jejaknya sendiri dievaluasi tanpa syarat dari bilangan prima hingga X = (T/2π)^λ memakai Montgomery–Vaughan.

Sisi nol dan sisi prima dicocokkan oleh identitas penjumlahan Poisson yang memberi kernel sampling secara persis, tanpa aliasing. Secara numerik kedua sisi cocok sampai 10⁻⁸ pada ketinggian kecil. Langkah yang paling menentukan bersifat konseptual: RH secara klasik dibutuhkan untuk membaca sisi nol sebagai jumlah positif atas ordinat riil. Di sini ketak-tentuan pasangan di luar garis diserap oleh aljabar linear — Anda tidak perlu tahu seberapa jauh nol itu dari garis, hanya bahwa blok (1,1)-nya terbatas dalam rank. Indeks negatif ditangani teorema inersia alih-alih dinolkan oleh hipotesis yang belum terbukti.

Inilah mengapa makalah Bombieri 2000, “Remarks on Weil’s quadratic functional in the theory of prime numbers, I”, adalah leluhur yang tepat untuk dikutip: ia mempelajari pemotongan berhingga dari bentuk Weil dan menunjukkan bahwa jika RH gagal hanya dengan finitely banyak nol buruk, banyaknya nilai eigen negatif dari pemotongan yang cukup besar sama dengan setengah jumlah nol buruk itu. Signature dari kompresi berhingga mengenkode bagaimana RH gagal. Kontribusi Claude adalah menunjukkan bahwa Anda bisa menarik hitungan nol-di-garis dari signature itu tanpa pernah memutuskan nol di luar garis mana yang ada.

Yang tidak dikatakannya, dan di mana batasnya

Makalah ini luar biasa eksplisit soal batasnya. Tidak ada sertifikat macam ini yang bisa melebihi 0.68185 — informasi momen pertama/kedua pada bandwidth λ ≤ 1 punya batas keras, dan λ ≤ 1 esensial bagi argumen (di luar itu Anda butuh informasi yang tidak diberikan sisi prima tanpa syarat). Mencapai 0.70/0.80/0.90 membutuhkan dukungan korelasi-pasangan sampai kira-kira 1.04/1.26/1.70, artinya input aritmetik yang benar-benar baru, bukan aljabar linear yang lebih cerdik.

Jadi pembacaan yang jujur: ini bukan langkah menuju pembuktian RH, dan para penulis tidak mengklaimnya. Ini langkah menuju proyek yang lebih tua dan boleh dibilang lebih mudah dikerjakan — program “konsekuensi RH dibuat tanpa syarat”, dalam semangat yang dilakukan Bombieri dan lainnya untuk bilangan prima pada interval pendek. Dan ini menunjukkan bahwa mesin korelasi-pasangan, begitu dibebaskan dari RH, lebih kuat daripada mesin mollifier untuk tugas khusus ini.

Di balik sesi 54 jam itu

Lampirannya bacaan yang lebih menarik, dan harus dibaca sebagai makalah alur kerja, bukan kisah warna. Seorang agen koordinator menjalankan ~60 subagen terisolasi selama satu setengah hari: 2,400 perintah shell, ratusan skrip Python, 31 million token keluaran. Koordinatornya sendiri hampir tidak mengerjakan matematika; perannya arahan, triase, dan verifikasi.

Dua subagen menghasilkan gagasan kuncinya. E2 membuktikan rute indeks-negatif itu kosong — indeks negatif berhingga yang jujur identik nol — lalu membalik gagasan itu, memberi batas bawah indeks positif dari jejak sisi-prima untuk mengklaim setidaknya separuh nol di garis. E2-pairs menghabiskan 91 menit berpikir, menjalankan eksperimen numerik yang justru berkontradiksi dengan brief-nya sendiri, dan menulis lemma rank–trace yang mengangkat 1/2 ke 2/3. Empat menit setelah menulisnya, sebuah kegagalan infrastruktur mematikan proses di tengah kalimat. Koordinator membaca direktori agen yang mati, mengenali hasil itu sebagai “hal terpenting yang terjadi malam ini,” memeriksa bukti lima baris itu baris demi baris, dan melanjutkan agen yang sama dengan daftar periksa.

Beberapa hal menonjol dari cara kerja ini. Dua prakiraan kreatif koordinator sendiri keliru — ia mengarahkan mekanisme ke arah yang salah pada langkah setengah, dan memberi tuas pemulihan yang salah pada langkah dua-pertiga — sementara arsitektur wasitnya bertahan. Subagen sengaja diisolasi: mereka tidak bisa melihat percakapan atau satu sama lain, yang menjaga galat mereka tetap independen dan membuat peninjauan permusuhan bermakna. Dan kontribusi manusia adalah segenggam prompt satu baris: “Resume your work,” “Push it to 2/3,” “Keep going.” Claude awalnya meremehkan dirinya sendiri; kegigihan datang dari luar.

Protokol verifikasi adalah temuan sebenarnya

Di sinilah hasilnya menjadi penting melampaui teori bilangan. Masalah kepercayaan matematika AI bukan “bisakah model menemukan bukti” — melainkan “mengapa siapa pun harus percaya”. Pipeline ini adalah templat untuk menjawabnya:

Agen wasit bermusuhan buta, masing-masing diberi celah terpisah dan rencana serangan, dilarang membaca satu sama lain. Mereka menemukan satu galat nyata — premis keliru tentang matriks massa — dan mengusulkan perbaikan yang akhirnya masuk ke makalah. Sebuah putaran permusuhan menangkap halusinasi; itulah sistem yang bekerja.
Agen penurunan-ulang buta yang membuktikan hasilnya tanpa membaca buktinya, plus kasus kontrol tempat RH diketahui gagal. Keduanya bentuk reproduksibilitas yang murah.
Agen literatur yang mengunduh 54 makalah arXiv untuk memeriksa kebaruan — koordinatornya secara eksplisit menolak mempercayai ingatannya sendiri.
Formalisasi Lean 4 / Mathlib atas Theorems A–E, bebas sorry, hanya bergantung pada tiga aksioma standar (propext, Classical.choice, Quot.sound). Termasuk Weil explicit formula, pencacahan Riemann–von Mangoldt, estimasi Stirling, Chebyshev–Mertens, dan Montgomery–Vaughan — scaffolding analitiknya ikut diformalkan, bukan hanya teorema utamanya.
Pakar manusia: matematikawan internal Anthropic Levent Alpöge dan Ralph Furman memvalidasinya; pakar eksternal Brian Conrey dan Dan Goldston memeriksanya dalam waktu singkat.

Hedging koordinatornya sendiri adalah bagian paling instruktif. “Saya tidak bilang separuh nol ada di garis. Saya bilang seorang agen menghasilkan argumen dengan kesimpulan itu.” “Hasilnya butuh pakar manusia.” Vonis draf akhir: “Pembaca berikutnya harus seorang manusia.”

Itu pembagian kerja yang benar, dan layak disebutkan namanya: generasi dan eksekusi berparalelisasi; verifikasi berlapis dan permusuhan; formalisasi adalah kebenaran dasar; penilaian tetap di tangan manusia. Galat yang ditangkap para wasit adalah alasan pipeline ini ada — sebuah model yang menghasilkan bukti masuk akal justru kasus di mana pembaca tak kritis terbakar.

Catatan jujur

Ini artefak riset setingkat preprint, dirilis minggu yang sama saat ditulis. Catatan pakarnya sendiri menandai suku galat yang belum dijabarkan (ekor O(T^δ log T) dan O(T^{1/2−2δ}) hanya diuraikan sekilas, tidak dirinci penuh). Formalisasi Lean adalah artefak riset statis, bukan pustaka yang dirawat. Dan perilaku setingkat sesi — koordinator yang prakiraannya salah dua kali, agen yang butuh kecelakaan infrastruktur agar diperhatikan — belum menjadi proses yang dapat direproduksi; itu data point tentang apa yang workflow ini bisa hasilkan saat berfungsi.

Matematikanya diperiksa lebih keras daripada kebanyakan preprint: bukti Lean terperiksa mesin, putaran wasit permusuhan, dan dua pembacaan pakar independen. Penilaian akhir tetap milik komunitas, dan memang seharusnya begitu. Tetapi bentuk dari benda ini — sebuah teorema yang dihasilkan AI, terverifikasi formal, ditinjau pakar, dengan metodenya yang jujur dipetakan ke leluhurnya di Bombieri dan Montgomery — adalah baru. Angka 67.2% adalah bagian paling tidak mengejutkan dari pengumuman itu.