needhelp
← Back to blog

Claude, Zeta Sıfırlarının Kritik Çizgideki Kanıtlanmış Payını 67.2%'ye Yükseltti — ve Yöntem Sayıdan Daha Önemli

by needhelp
AI
Mathematics
Claude
Riemann Hypothesis
Lean

10 Ağustos’ta Anthropic, yazarı bir büyük dil modeli olan bir araştırma notu yayınladı. Sonuç: Riemann zeta fonksiyonunun önemsiz olmayan sıfırlarının en az 67.2%’si kritik çizgi Re(s) = 1/2 üzerinde. Koşulsuz olarak. Önceki kanıtlanmış rekor, Levinson yönteminin dört on yıllık iyileştirmelerine direnen 41.6% (5/12) idi.

Claude, Riemann Hipotezi’ni kanıtlamadı. Makale bunu kendisi iki kez söylüyor. Yaptığı şey — ve üzerinde yavaşlamaya değer kısım da bu — koşullu bir 67%’yi koşulsuz bir 67%’ye çevirmek; gerçekten yeni bir yöntemle: sıfır-yoğunluk tahmini yok, sıfır-içermeyen bölge yok, mollifier yok. Aritmetik girdi, tam olarak Montgomery’nin bandwidth ≤ 1’deki çift-korelasyon ikinci momentinin asal-taraf değerlendirmesi ve bu 1973’ten beri koşulsuz. Eskiden RH’yi gerektiren her şeyin yerini, sonlu bir matris üzerinde doğrusal cebir aldı.

Bu sayının neden ağırlığı var

Riemann Hipotezi, her önemsiz olmayan sıfırın gerçel kısmının tam olarak 1/2 olduğunu söyler. 1859’dan beri kanıtlanamadı; Clay Millennium Problems’ten biri, ödülü bir milyon dolar. Kısmi sonuçlar, çizgideki sıfırların oranı için alt sınırlardır ve soy ağacının tamamını yazmak gerekir:

  • Hardy (1914): çizgide sonsuz sayıda sıfır.
  • Selberg (1942): pozitif bir oran.
  • Levinson (1974): en az 1/3, mollifier yöntemiyle.
  • Conrey (1989): 2/5, Levinson’ı iyileştirerek.
  • Bui–Conrey–Young, Feng, Pratt–Robles–Zaharescu–Zeindler: 5/12, bu haftaya kadar ayakta kalan rekor.

Bu listedeki her sayı aynı teknik ailesinden geliyor — Levinson yöntemi ve onun devamı. Yeni 2/3 öyle değil. O, Montgomery’nin çift-korelasyon fikir çemberinden geliyor ve bu çember daha önce yalnızca RH varsayımıyla kullanılabiliyordu. Bu yapısal bir kırılma, bir artış değil: “RH-koşullu çift-korelasyon sonuçları” bu güçte ilk kez RH’den ayrıştırıldı.

2/3 sayısının kendi tarihi var. Montgomery 1973’te, RH altında sıfırların en az 2/3’ünün simple olduğunu gösterdi (daha sonra Goldston ve diğerleri bunu 67.9%’a keskinleştirdi). Buradaki 2/3 aynı sabit, artık koşulsuz — ama çizgi üzerindeki sıfırlar için, ve farklı sıfırlar olarak sayılıyor, Montgomery’nin “simple” anlamında değil. Bu ayrım önemli: N₀* kritik çizgideki farklı sıfırları sayar, yani katlılık size karşı sayılmaz. Makale ayrıca tüm sıfırların en az 5/6’sının farklı olduğunu kanıtlıyor; bu aynı makineden çıkıyor.

İki yapısal nokta daha. Birincisi, teorem dyadic aralık [T, 2T] hakkında, o(1) hatayla; T→∞ için liminf en az 2/3 ve makale, sonlu-T oranının limitinin altında olduğunu bildiriyor çünkü yakınsama yavaş (Remark 5.9’ları). İkincisi, yöntem 2/3’te takılı değil: optimal Montgomery–Taylor penceresiyle sabit 0.67250… oluyor — ki bu tam olarak RH-koşullu Montgomery–Taylor sabiti. 2/3 temiz ifade; yöntem bedavaya biraz daha iyisini yapabiliyor.

Farklı bir motor

Sonucun rekor olmayı bırakıp tekniğe dönüştüğü yer burası. Weil explicit formula, test fonksiyonları üzerindeki bir pozitiflik ifadesini sıfırlar hakkında bir iddiaya çeviriyor: ilişkili kuadratik fonksiyonel, ancak ve ancak RH doğruysa positive semidefinite. Bu denklik hem güç hem tuzak — “pozitiflikle RH’yi kanıtlama”nın her saf yolu burada ölür ve Claude’un koordinatör ajanı, daha önceki bin-ajanlı oturumda önerilen her yolun ilk özsel adımının Weil pozitifliği ya da kılık değiştirmiş bir eşdeğeri olduğunu bildiriyor.

İşin püf noktası, bütün sonsuz boyutlu form hakkında sormayı bırakmak. Claude, eşleşmeyi test fonksiyonlarının sonlu boyutlu bir uzayıyla — d ≈ λN(T,2T) tane modüle edilmiş pencereden oluşan bir “Gabor system” — sınırlıyor ve ortaya çıkan sonlu gerçel simetrik matrisi analiz ediyor. Şimdi:

  • kritik çizgideki sıfırlar pozitif yarı-kararlı rank-one bloklar verir;
  • çizgi dışındaki sıfırlar fonksiyonel denklem altında {ρ, 1−ρ̄} çiftleri oluşturur ve belirsiz (1,1) bloklar verir — bir Kreĭn-uzayı imzası, Hilbert-uzayı imzası değil;
  • Sylvester’s law of inertia, formun tamamının imzasını sınırlar;
  • von Neumann trace inequality ile kanıtlanan bir rank–trace eşitsizliği, imzayı hesaplanabilir iz momentlerine bağlar;
  • izlerin kendisi, Montgomery–Vaughan kullanılarak X = (T/2π)^λ’ya kadar olan asallardan koşulsuz değerlendirilir.

Sıfır tarafı ile asal taraf, örnekleme çekirdeğini hiçbir örtüşme hatası (aliasing) olmadan tam veren bir Poisson toplama özdeşliğiyle eşleşiyor. Sayısal olarak iki taraf küçük yüksekliklerde 10⁻⁸’e kadar uyuşuyor. En belirleyici adım kavramsal: RH, sıfır tarafını gerçel ordinatlar üzerinde pozitif bir toplam olarak okumak için klasik olarak gerekiyordu. Burada çizgi dışı çiftlerin belirsizliği doğrusal cebir tarafından soğuruluyor — bir sıfırın çizgiden ne kadar uzakta olduğunu bilmenize hiç gerek yok, yalnızca (1,1) bloğunun rankça sınırlı olduğunu bilmeniz yetiyor. Negatif indeks, kanıtlanmamış bir varsayımla sıfırlanmak yerine eylemsizlik teoremiyle ele alınıyor.

Bombieri’nin 2000 tarihli “Remarks on Weil’s quadratic functional in the theory of prime numbers, I” makalesini alıntılamak bu yüzden doğru ata: o, Weil formunun sonlu kesmelerini inceledi ve RH yalnızca sonlu sayıda kötü sıfırla başarısız olursa, yeterince büyük bir kesmenin negatif özdeğer sayısının kötü sıfırların sayısının yarısına eşit olduğunu gösterdi. Sonlu sıkıştırmanın imzası, RH’nin nasıl başarısız olduğunu kodlar. Claude’un katkısı, hangi çizgi dışı sıfırların var olduğuna asla karar vermeden bu imzadan çizgideki sayıyı çıkarabileceğinizi göstermek.

Neyi söylemediği ve tavanın nerede olduğu

Makale sınırları konusunda alışılmadık biçimde açık. Bu tür bir sertifika 0.68185’i aşamaz — bandwidth λ ≤ 1’deki birinci/ikinci moment bilgisinin sert bir tavanı var ve λ ≤ 1 argüman için elzem (ötesinde, koşulsuz asal tarafın vermediği bilgiye ihtiyacınız var). 0.70/0.80/0.90’a ulaşmak, çift-korelasyon desteğinin kabaca 1.04/1.26/1.70’e uzanmasını gerektirir; bu, daha akıllı doğrusal cebir değil, gerçekten yeni aritmetik girdi demek.

Dürüst okuma şu: bu, RH’yi kanıtlama yolunda bir adım değil ve yazarlar da öyle iddia etmiyor. Bu, daha eski ve daha ulaşılabilir bir projeye doğru bir adım — “RH’nin sonuçlarını koşulsuz kılma” programına; Bombieri ve diğerlerinin kısa aralıklardaki asallar için yaptığı ruhla. Ve çift-korelasyon makinesinin, bir kez RH’den kurtulduğunda, bu özel görevde mollifier makinesinden daha güçlü olduğunu gösteriyor.

Arkasındaki 54 saatlik oturum

Ek bölümü daha ilginç okunuyor ve bir renk hikayesi olarak değil, bir iş akışı makalesi olarak okunmalı. Bir koordinatör ajan, bir buçuk gün boyunca ~60 izole alt ajan çalıştırdı: 2,400 shell komutu, yüzlerce Python betiği, 31 million çıktı token’ı. Koordinatör neredeyse hiç matematik yapmadı; rolü yön, triyaj ve doğrulamaydı.

Ana fikirleri iki alt ajan üretti. E2, negatif-indeks yolunun boş olduğunu — dürüst sonlu negatif indeksin özdeş olarak sıfır olduğunu — kanıtladı ve sonra fikri ters çevirerek asal-taraf izlerinden pozitif indeksi alt sınırladı ve sıfırların en az yarısının çizgide olduğunu iddia etti. E2-pairs 91 dakika düşündü, kendi görev tanımıyla çelişen sayısal deneyler çalıştırdı ve 1/2’yi 2/3’e yükselten rank–trace lemmasını yazdı. Yazdıktan dört dakika sonra bir altyapı hatası çalışmayı cümlenin ortasında öldürdü. Koordinatör, ölen ajanın dizinini okudu, sonucu “bu gecenin en önemli olayı” olarak tanıdı, beş satırlık kanıtı satır satır kontrol etti ve aynı ajanı bir kontrol listesiyle yeniden başlattı.

Bu işin nasıl yürüdüğüne dair birkaç şey öne çıkıyor. Koordinatörün kendi iki yaratıcı öngörüsü yanlıştı — yarım adımda mekanizmayı yanlış yöne işaret etti ve üçte iki adımında yanlış kurtarma kolunu verdi — hakem mimarisi ise ayakta kaldı. Alt ajanlar bilinçli olarak izole edildi: sohbeti ve birbirlerini göremiyorlardı, bu hatalarını bağımsız tuttu ve düşmanca incelemeyi anlamlı kıldı. İnsanın katkısı bir avuç tek satırlık yönlendirmeydi: “Resume your work,” “Push it to 2/3,” “Keep going.” Claude başlangıçta kendini küçümsedi; sebat dışarıdan geldi.

Doğrulama protokolü asıl bulgu

Sonucun sayı teorisinin ötesinde önem kazandığı yer burası. AI matematiği için güven sorunu “bir model kanıt bulabilir mi” değil — “biri buna neden inansın” meselesi. Bu boru hattı buna cevap vermek için bir şablon:

  1. Kör düşmanca hakem ajanları, her biri ayrık bir boşluğa ve bir saldırı planına atanmış, birbirlerini okumaları yasak. Gerçek bir hata buldular — kütle matrisiyle ilgili yanlış bir öncül — ve makaleye giren onarımı önerdiler. Düşmanca bir döngü bir halüsinasyonu yakaladı; sistemin çalışması tam olarak budur.
  2. Kör bir yeniden-türetim ajanı kanıtı okumadan sonucu kanıtladı ve RH’nin başarısız olduğu bilinen kontrol durumları da çalıştırıldı. İkisi de ucuz yeniden-üretilebilirlik biçimi.
  3. Bir literatür ajanı yeniliği kontrol etmek için 54 arXiv makalesi indirdi — koordinatör, kendi hafızasına güvenmeyi açıkça reddetti.
  4. Lean 4 / Mathlib formalizasyonu: Theorems A–E, sorry’siz, yalnızca üç standart aksiyoma dayanıyor (propext, Classical.choice, Quot.sound). Buna Weil explicit formula, Riemann–von Mangoldt sayımı, Stirling tahminleri, Chebyshev–Mertens ve Montgomery–Vaughan da dahil — sadece manşet teoremi değil, analitik iskelet de formalize edildi.
  5. İnsan uzmanlar: Anthropic’in kurum içi matematikçileri Levent Alpöge ve Ralph Furman doğruladı; dış uzmanlar Brian Conrey ve Dan Goldston kısa sürede inceledi.

Koordinatörün kendi temkinli ifadeleri en öğretici kısım. “Sıfırların yarısının çizgide olduğunu söylemiyorum. Bir ajanın bu sonuçla bir argüman ürettiğini söylüyorum.” “Sonuç bir insan uzman gerektiriyor.” Son taslağın hükmü: “Bir sonraki okuyucu bir insan olmalı.”

Bu doğru iş bölümü ve adlandırılmaya değer: üretim ve yürütme paralelleşir; doğrulama katmanlı ve düşmancadır; formalizasyon zemin gerçeğidir; yargı insanlarda kalır. Hakemlerin yakaladığı hata, boru hattının var olma nedenidir — bir modelin makul bir kanıt üretmesi, tam da eleştirel olmayan okuyucunun yandığı durumdur.

Dürüst uyarılar

Bu, yazıldığı hafta yayınlanmış preprint düzeyinde bir araştırma ürünü. Uzman notu, genişletilmemiş hata terimlerini bizzat işaretliyor (O(T^δ log T) ve O(T^{1/2−2δ}) kuyrukları tam detaylandırılmak yerine taslak halinde). Lean formalizasyonu, bakımı yapılan bir kütüphane değil, statik bir araştırma ürünü. Ve oturum düzeyindeki davranışlar — öngörüleri iki kez yanlış çıkan bir koordinatör, fark edilmesi için bir altyapı çökmesi gereken bir ajan — henüz yeniden-üretilebilir bir süreç değil; bu iş akışının çalıştığında neler üretebileceğine dair bir veri noktası.

Matematik, çoğu preprinte kıyasla çok daha sıkı kontrol edildi: makineyle kontrol edilen bir Lean kanıtı, düşmanca bir hakem döngüsü ve iki bağımsız uzman okuması. Nihai yargı yine de topluluğa ait ve olması gereken de bu. Ama şeyin biçimi — bir AI tarafından üretilmiş, resmi olarak doğrulanmış, uzman gözden geçirmesinden geçmiş ve yöntemi dürüstçe Bombieri ve Montgomery’deki atalarına bağlanmış bir teorem — yeni. 67.2% sayısı, duyurunun en az şaşırtıcı kısmı.

Referanslar

Share this page