Anthropic yayınlanmamış bir Claude'u Riemann hipotezine sürdü. Çözemedi — ama bilinen en iyi sınırı neredeyse ikiye katladı.

Anthropic 10 Ağustos'ta, Claude'un yayınlanmamış bir araştırma sürümüne Riemann hipotezini sorduğunda ne olduğunu yayımladı. Model hipotezi kanıtlamadı. Yaptığı şey, zeta fonksiyonunun aşikâr olmayan sıfırlarından hipotezi sağladığı bilinenlerin oranına dair alt sınırı yüzde 41,6'dan yüzde 67,2'ye çıkarmak oldu — Anthropic'e göre bu sayıda şimdiye dek yapılmış en büyük tek seferlik iyileştirme; sayı onlarca yıllık insan emeğiyle yavaş yavaş tırmanmıştı. Çalışma iki Claude Code oturumu, yaklaşık 60 alt ajan, 31 milyon civarı çıktı jetonu ve 2.400 kadar kabuk komutu sürdü. Matematik tarafında Baluyot, Goldston, Suriajaya ve Turnage-Butterbaugh'un yeni sonuçları Bombieri'nin çalışmasıyla birleştirildi ve Montgomery'nin 1973'te getirdiği teknikler koşulsuz bir sınıra dönüştürüldü; belirleyici hamle, kritik doğru üzerindeki ve dışındaki sıfırları iki ayrı durum yerine tek bir geometrik nesne gibi ele almaktı. Anthropic'teki iki matematikçi makaleyi okuyup denetledi; model ayrıca kanıtın makineyle doğrulanabilir bir sürümünü de üretti.

✓ Doğrulandı · 3 kaynak

İlgili haberler