Anthropic: Claude, Riemann Hipoteziyle İlgili Kritik Bir Sınırı Neredeyse İkiye Katladı

Anthropic'in Claude yapay zekasının henüz yayınlanmamış bir araştırma sürümü, Riemann hipoteziyle ilgili kritik bir matematiksel sınırda bugüne kadarki en büyük tekil iyileştirmeyi gerçekleştirerek, Riemann zeta fonksiyonunun kritik doğru üzerindeki önemsiz sıfırlarının oranına ilişkin kanıtlanmış alt sınırı %41,6'dan %67,2'ye çıkardı.

Anthropic, sonucu 10 Ağustos'ta duyurdu ve bunu, Clay Matematik Enstitüsü tarafından 1 milyon dolarlık ödül konan ve 1859'dan beri çözülemeyen Riemann hipotezinin kendisini çözme girişiminin beklenmedik bir yan ürünü olarak tanımladı.anthropic

Nasıl Gerçekleşti?

Deney, matematikçi olmayan Anthropic çalışanı Jarred Sumner'ın Claude'a Riemann hipotezini çözmek için "ciddi bir girişimde bulunması" talimatını vermesi ve tüm matematiksel kararları modele bırakmasıyla başladı. Claude bu görevde başarısız oldu ancak başka bir şey keşfetti.anthropic

Claude Code üzerinde gerçekleştirilen iki oturumda model, 31 milyon çıktı token'ı üretti. İlk girişimde yaklaşık 650 başarısız fikir ortaya çıktı. Claude daha sonra bir buçuk gün boyunca yaklaşık 60 alt ajanı koordine etti, 2.400 kabuk komutu çalıştırdı ve yüzlerce Python betiği yazdı. Alt ajanlar, bilinen zeta sıfırlarına karşı binlerce sayısal kontrol gerçekleştirdi ve birbirlerinin çalışmalarını gözden geçirdi.theaiinsider+1

Sumner'ın sürece katılımı büyük ölçüde "devam et" ve "kendine inan" gibi teşvik edici mesajlarla sınırlı kaldı. Anthropic, bu mesajların Claude'un bu kadar çok çalışılmış bir problemde ilerleme kaydedebileceğine dair ilk şüphelerini aşmasına yardımcı olduğunu belirtti.anthropic

Matematiksel İlerleme

Bu sonuç, önemsiz sıfırların %100'ünün kritik doğru üzerinde yer aldığının gösterilmesini gerektiren Riemann hipotezini kanıtlamıyor. Bunun yerine Claude, Hugh Montgomery tarafından 1973'te ortaya atılan teknikleri geliştiren matematikçiler Baluyot, Goldston, Suriajaya ve Turnage-Butterbaugh'un yakın tarihli çalışmalarını Enrico Bombieri'nin 2000 tarihli bir makalesiyle birleştirdi.theaiinsider+1

Önceki %41,6'lık sınır, insan araştırmacıların onlarca yıllık kademeli ilerlemesini temsil ediyordu. Claude, tek bir adımda bu tabanı neredeyse ikiye katladı. Anthropic'in teknik açıklamasında, kritik doğrunun üzerindeki ve dışındaki sıfırların ayrı ayrı ele alınması yerine birleşik bir matematiksel çerçeve içinde değerlendirilmesinin kilit bir içgörü olduğu belirtiliyor.anthropic+1

Doğrulama ve Bağlam

İki Anthropic matematikçisi, Levent Alpöge ve Ralph Furman çalışmayı inceledi. Dışarıdan sayı teorisyenleri Brian Conrey ve Dan Goldston da makaleyi kısa sürede gözden geçirdi. Claude ayrıca standart doğrulamadan geçen, Lean dilinde yazılmış resmi bir kanıt sundu.neowin+1

Anthropic; Claude'un makalesini, ayrıntılı süreç dökümlerini ve Lean biçimlendirmesini içeren bir GitHub deposunu yayınladı. Şirket, Claude'un tekniklerinin Riemann hipotezinin tamamının kanıtlanmasını sağlamasının beklenmediği konusunda uyardı.anthropic+1

Bu sonuç, yapay zekanın açık matematik problemlerine yaptığı ve giderek hızlanan katkı zincirine bir yenisini ekliyor. 2026'nın başlarında bir Anthropic araştırmacısı, uzun süredir çözülemeyen bir diğer açık problem olan Jacobian varsayımının çürütülmesine yardımcı olmak için daha yeni bir Claude modeli kullanmıştı. Anthropic, bu bulguyu ödüllü bir problemin çözülmesinden ziyade, yapay zeka sistemlerinin yalnızca bilinen sonuçları yeniden üretmekle kalmayıp mevcut matematiksel araştırmaları genişletmeye başladığının bir kanıtı olarak değerlendirdi.officechai+1