Anthropic'in Claude'unun yayınlanmamış bir araştırma versiyonu, Riemann hipotezine bağlı uzun süredir devam eden bir matematiksel sonucu iyileştirerek, uygun sıfırların oranı için bilinen alt sınırı %41,6'dan %67,2'ye yükseltti. Anthropic tarafından 10 Ağustos 2026'da yayınlanan buluş, hedefe yönelik bir araştırma projesi olarak değil, sıradan bir mücadelenin beklenmedik bir yan ürünü olarak ortaya çıktı: matematik dünyasının en ünlü çözülmemiş problemlerinden birine gerçek bir giriş yapın. Yapay zeka destekli keşifteki en son gelişmeler için, devam eden haber için AI Buzz Wire adresini takip edin.
İlk olarak 1859'da Bernhard Riemann tarafından önerilen Riemann hipotezi, asal sayıların dağılımıyla ilgilidir ve Clay Matematik Enstitüsü'nden bir milyon dolarlık bir ödül taşır. Kanıtlanmamış olarak kalıyor. Claude hipotezin kendisini çözemese de, modelin ilgili bir alt problem üzerindeki çalışması, sayı teorisinde gerçek bir ilerlemeyi temsil ediyor; bu, insan matematikçilerin doğruladığı bir ilerleme.
Mücadele Nasıl Başladı?
Bu çaba, matematikçi olmayan Antropik personelden Jarred Sumner'ın, Claude'u Riemann hipotezini "gerçekten denemeye" teşvik etmesi ve tüm matematiksel kararları modele bırakmasıyla başladı. Claude'un ilk girişimi yaklaşık 650 fikir üretmeyi ve test etmeyi içeriyordu; bunların hiçbiri sonuç vermedi. Sumner modeli tekrar denemeye teşvik ettikten sonra Claude, sorunu daha derinlemesine araştıran yaklaşık 60 alt aracıyı koordine etmek için yaklaşık bir buçuk gün harcadı.
Claude, bu ikinci deneme sırasında önceki en gelişmiş alt sınırı aşmanın bir yolunu keşfetti. Model, matematikçiler Baluyot, Goldston, Suriajaya ve Turnage-Butterbaugh'dan elde edilen sonuçları Bombieri'nin daha önceki çalışmalarıyla birleştirmenin, hipotezi karşılayan bilinen sıfır oranını %41,6'dan %67,2'ye itecek bir yol sağladığını buldu.
Kendini Kontrol Eden, Kendinden Şüphe Eden Bir Sistem
Sonucu özellikle çarpıcı kılan şey, Claude'un kendi bulgusunu sunmadan önce ne kadar titizlikle doğruladığıdır. Model, kanıtları gözden geçirmek, karşı örnekleri aramak, sonucun henüz yayınlanmadığını doğrulamak için arXiv'den 54 makale indirmek ve bulguyu bağımsız olarak sıfırdan yeniden kanıtlamak için alt aracılar gönderdi. Tüm çaba, Claude Code'daki iki oturumda 31 milyon çıkış tokeni tüketti.
Belki de en dikkat çekici olanı, Claude'un başlangıçta kendi sonucuna şüpheyle yaklaşmasıydı. Model, matematikteki açık problemlerin aşırı zorluğu ve yapay zeka sistemlerinin bilinen sınırlamaları hakkında eğitim verilerinden bilgi edinmişti. Claude'un bulgusunun geçerli olduğunu kabul etmesinden önce cesaret verici teşvikler aldığı bildirildi. Anthropic'in duyurusunda belirttiği gibi: "Belki de çoğumuz gibi Claude da yapay zekanın ilerleme hızını hafife alıyor."
İnsan Doğrulaması ve Resmi Doğrulama
Bu bulgu yalnızca Claude'un sözüne dayanmıyordu. Anthropic'teki iki matematikçi - Levent Alpöge ve Ralph Furman - Claude'un çalışmalarını incelediler ve uzmanlar için resmi olmayan bir teknik not hazırladılar. Alpöge daha önce Claude'u 87 yıllık Jacobian varsayımını çürütmek için kullandığı için manşetlere çıkmıştı; bu, Ağustos ayının başlarında bildirilen ayrı bir matematiksel atılımdı.
Claude ayrıca matematiksel argümanları yazılımla doğrulayan bir kanıt asistanı olan Lean'ı kullanarak sonucunun makine tarafından kontrol edilen resmi bir kanıtını da üretti. Anthropic ekibinden Eric Easley ile oluşturulan resmileştirme, karşılaştırıcı adı verilen standart doğrulama aracından geçiyor.
Her ikisi de Riemann zeta işlevi çalışmasında tanınmış otoriteler olan dış uzmanlar Brian Conrey ve Dan Goldston, makaleyi kısa sürede incelediler ve yaklaşımı doğruladılar.
Sonuç Ne Anlama Geliyor
Riemann zeta işlevi asal sayıların dağılımını açıklar: işlevin her sıfırı, asal sayılar dizisine art arda daha ince ayrıntılar katar. Riemann hipotezi, asal sayıları belirleyen tüm sıfırların karmaşık düzlemde tek bir dikey çizgi boyunca uzandığını öngörür. Bunu kanıtlamak, yüzlerce sonucun bir varsayım olarak buna bağlı olduğu matematikteki en önemli varsayımlardan biri haline geldi.
Hiç kimse hipotezin tamamını kanıtlamamış ya da çürütmemiş olsa da, matematikçiler doğru üzerinde bulunan sıfırların minimum oranını ölçerek artan bir ilerleme kaydettiler. Onlarca yıl süren araştırmalarda, bilinen bu sabit %41,6'ya itildi. Claude'un yüzde 67,2'ye yükselmesi, bu ölçümde son yıllarda yaşanan en büyük tek sıçrama oldu.
Anthropic, Claude'un kullandığı tekniklerin Riemann hipotezinin tam bir kanıtına yol açma ihtimalinin düşük olduğu konusunda uyardı. Ancak sonuç, yapay zeka modellerinin matematikçilerin fikirlerinin erişim alanını yeni ve bazen şaşırtıcı yönlere genişletebileceğini gösteriyor.
Yapay Zeka Matematiksel Keşiflerinin Bir Modeli
Riemann zeta ilerlemesi, yapay zeka destekli matematiksel atılımların giderek büyüyen listesini takip ediyor. 2026'nın başlarında, Astra adlı bir OpenAI modeli, makine tarafından kontrol edilen kanıtlarla uzun süredir çözülemeyen on matematik problemini çözdü. Anthropic'in kendi Claude Fable 5'i haftalar önce Jacobian varsayımını çürütmüştü. Bu sonuçlar, sınırdaki yapay zeka modellerinin örüntü tanıma ve metin üretmenin ötesine geçerek gerçek matematiksel araştırma alanına doğru ilerlediğini gösteriyor.
Claude'un Riemann zeta bulgusu bir açıdan diğerlerinden ayrılıyor: Yönlendirilmiş bir araştırma programının ürünü değildi. Matematikçi olmayan birinin yapay zeka modeline mantıksız bir soru sorması ve modelin daha önce hiçbir insanın bulamadığı bir şeyle yanıt vermesiyle ortaya çıktı.
Yapay Zekanın Önünde Olun
En son yapay zeka haberleri, araştırma gelişmeleri ve sektör analizleri için AI Buzz Wire adresini ziyaret edin.
Daha fazla AI haberini okuyun
