10 Ağustos 2026’da Anthropic yeni bir araştırma yayınladı. Ana bulgu: Claude’un yayınlanmamış bir versiyonu, matematik tarihinin en ünlü çözümsüz problemi Riemann hipotezine bir “gerçek atak” yaptı. Hipotezi çözemedi — ama yan bir problemde önemli bir ilerleme kaydetti.
Somut sonuç: Riemann zeta fonksiyonunun sıfırlarının Riemann hipotezini sağlayan oranı için alt sınır, %41.6’dan %67.2’ye yükseldi. Bu, on yıllar boyunca matematikçilerin küçük adımlarla yükselttiği bir sabit sayı. Claude, tek bir çalışmada 25 puandan fazla artırdı.
Detaylar önemli: 31 milyon output token, iki oturum, 60 alt-ajanlı koordinasyon, 2,400 shell komutu, yüzlerce Python script. Ve nihayetinde Lean formal verification ile matematik dünyasının kabul ettiği kesinlikte bir ispat.
Bu, tek başına bir haber değil. Anthropic’in Claude Mythos’u geçen ay HAWK post-quantum şifreleme problemini 60 saatte kırmıştı. Bu yeni sonuç, AI matematik cephesindeki hızlanan trendin bir başka somut örneği. Ve Türk okuyucular için önemli bir detay var: Anthropic’in ispatı validate eden matematikçilerden biri Levent Alpöge — Türk kökenli matematikçi. Daha önce Claude Fable 5 ile Jacobian Conjecture’u çözen isim.
Riemann hipotezi nedir?
Kısa hatırlatma. Riemann zeta fonksiyonu, asal sayıların dağılımını tanımlar. Fonksiyonun sıfır aldığı her nokta, asal sayı dizisine daha ince detay katar. Riemann hipotezi der ki: bu sıfırların hepsi belirli bir dikey doğru üzerinde bulunur.
- 1859’da Bernhard Riemann tarafından ortaya atıldı.
- Clay Mathematics Institute’in Millennium Prize Problems listesinde yer alıyor — çözene $1 milyon ödül.
- 167 yıl boyunca ne kanıtlandı ne de çürütüldü.
- Modern matematik ve kriptografinin büyük kısmı bu hipotezin doğru olduğu varsayımıyla çalışıyor.
Matematikçiler, hipotezi tam çözemedikleri için yan alanlarda çalışıyor. Bunlardan biri: sıfırların ne kadarının doğrunun üzerinde olduğunu kanıtlamak. Tarihsel gelişim:
- 1974: Levinson — en az %34
- 1989: Conrey — en az %40
- 2011: Feng — en az %41.05
- Sonraki inkremental iyileştirmeler — %41.6’ya kadar
- 2026: Claude — en az %67.2
Yani onlarca yıllık matematik araştırmasının küçük adımlarla yükselttiği bir alt sınır, tek bir AI çalışmasında bir sıçrama yaptı.
Claude’un bulduğu ne?
Teknik çekirdek: Claude, üç farklı matematiksel damarı birleştirdi.
1. Baluyot, Goldston, Suriajaya, Turnage-Butterbaugh serisi (2023-2025). Bu grup, Montgomery’nin 1973’te sıfırların dağılımı için geliştirdiği tekniklere alternatif geliştirdi. Montgomery’nin orijinal teknikleri, hipotezin doğru olduğu varsayımıyla çalışıyordu. Yeni seri, aynı teknikleri hipotez varsayımı olmadan uygulanabilir hale getirdi.
2. Bombieri’nin 2000 makalesi. Analytic number theory’de klasik bir çalışma.
3. Yeni bir sentez. Claude, iki damarı Weil’in quadratic form’una dayalı yeni bir fonksiyon uzayında birleştirdi. Anthropic’in özet açıklaması:
“Claude, Weil tarafından oluşturulan quadratic form ile bir fonksiyon uzayı oluşturur; sıfırların doğru üzerinde (positive-definite) ve dışında (negative-definite) olması durumundan doğan alt uzaylar tanımlar. Ardından, quadratic form’un rank’i üzerinde birinci ve ikinci moment bilgisi cinsinden bir eşitsizlik yazar. […] Cesaret gerektiren adım: positive ve negative definite’yi birlikte, quadratic form’u non-diagonal olacak şekilde ele almak.”
Yani teknik olarak Claude, iki farklı damardan gelen matematik araçlarını, insan matematikçilerin gözden kaçırdığı bir şekilde birleştirdi. “Novel invention” değil, ama “novel synthesis” — ki bu bile matematik dünyasında büyük bir başarı.
Metodoloji: 60 alt-ajan, 31M token, 1.5 gün
Bu bulgunun nasıl elde edildiği belki bulgunun kendisinden daha ilginç. Anthropic staff’dan Jarred Sumner (matematikçi değil), Claude’a basit bir prompt verdi: “Hipoteze gerçek bir atak yap.”
Süreç:
- İlk deneme: Claude 650 fikir üretti. Hiçbiri işe yaramadı.
- Yeniden deneme: Jarred “tekrar dene” dedi. Bu sefer Claude, 60 alt-ajan koordinasyonuna geçti.
- 2 ajan: temel matematik fikirlerini geliştirmekten sorumlu.
- 13 ajan: bu ajanlara fikir katkısı.
- 30 ajan: yeni fikir deneyip başarısız oldu.
- 13 ajan: validator (doğruluk kontrolü).
- 2 ajan: paper yazımı.
- Süre: 1.5 gün.
- Toplam token: 31 milyon output.
- 2,400 shell komutu, yüzlerce Python script.
- Alt-ajanlar birbirini referee etti: bulunan sonuçları çapraz doğruladı.
- arXiv’dan 54 makale indirdi: bulgunun daha önce yapılmadığını doğrulamak için.
- Bağımsız yeniden ispat: başka alt-ajanlarla sonucu sıfırdan tekrar üretti.
Ve büyülü bir detay: Jarred’in input’u çoğunlukla “devam et” ve “kendine inan” gibi teşvik mesajlarıydı. Anthropic bunu açıkça belirtiyor: bu, Claude’un kendi “ilerleyebilir miyim” şüphelerini aşmasına yardımcı olmuş görünüyor.
Aynı prompt paterni, daha önce Levent Alpöge’nin Claude ile Jacobian Conjecture’u çözmesinde de kullanılmıştı. “Model motivation” adı verilen bu yaklaşım, formal metodoloji olmadan “keep going” mesajlarının etki edebildiğini gösteriyor.
Levent Alpöge: Türk kökenli AI matematik köprüsü
Anthropic’in Claude ispatını validate eden iki matematikçisinden biri: Levent Alpöge. Diğer ismi Ralph Furman. Alpöge, Anthropic’in in-house matematikçileri arasında.
Alpöge daha önce hangi Türk okuyucular için tanıdık? Temmuz 2026’da Claude Fable 5 ile birlikte Jacobian Conjecture’u çözmesiyle Fortune manşetlerine girdi. Bir asrı aşan matematik problemi — AI ile birlikte çözdüğü ilk büyük iş.
Şimdi ise başka bir dev matematik problemi — Riemann hipotezi — için AI ilerlemesini validate eden isim. İki farklı büyük AI-matematik projesinin ortak Türk ismi.
Ana akım matematik literatüründe Türk-kökenli isimler her zaman güçlüydü (Cahit Arf, Fuat Sezgin, Gündüz İkeda “klasik” nesil). Ama AI + matematik kesişiminde Alpöge yeni bir figür — Silikon Vadisi’nin en tanınmış AI şirketinin matematik doğrulamasında merkezde. Türk teknoloji ekosistemi için önemli bir referans.
Neden bu bulgu önemli?
Anthropic’in kendi tonu ölçülü: “Bu tekniklerin Riemann hipotezini çözmeye götürebileceğini beklemiyoruz. Ama AI modellerinin matematik yeteneklerindeki hızın son örneği.”
Yine de, bulgunun anlamı büyük. Nedenler:
1. Onlarca yıllık ilerlemenin üzerine sıçrama. %41.6 → %67.2 = 25.6 puanlık artış. Bu, matematik alanında birkaç doktoranın yaşam boyu üreteceği ilerlemeye eşdeğer. Tek bir AI çalışmasında.
2. Formal verification. Claude, sonucu Lean’e formalize etti. Lean, machine-checkable ispatlar için standart dil. Sonuç, matematik topluluğunun kabul ettiği kesinlikte.
3. İki uzman referee. Brian Conrey ve Dan Goldston — bu alanın uluslararası uzmanları — ispatı incelemeyi kabul etti. Yani bulgu, sadece Anthropic’in kendi iç doğrulaması değil.
4. Çoklu-ajan yöntemi. 60 Claude alt-ajanının koordinasyonu, tek bir model iş akışının çok ötesinde. Bu, gelecekte AI-tabanlı bilimsel araştırmanın nasıl çalışacağının bir işareti.
5. “Yan bulgu” olarak ortaya çıktı. Claude, Riemann hipotezini çözmeye çalışırken bu sonucu buldu. Yani ana problem çözülmedi ama yan bir problemde ilerleme kaydedildi. Bu, insan matematikçilerin de yıllardır kullandığı bir örüntü.
Bir dizinin parçası
Bu sonuç, izole değil. Son 6 ayda AI + matematik cephesinden gelen büyük haberler:
- Temmuz 2026: Claude Fable 5 + Levent Alpöge — Jacobian Conjecture çözümü.
- Temmuz 2026: Claude Mythos Preview — HAWK post-quantum şifreleme kırma.
- Ağustos 2026: OpenAI Astra — 10 çözümsüz matematik problemine $2,000’a çözüm.
- Ağustos 2026: Bugün — Claude Riemann zeta sıfırları alt sınır iyileştirmesi.
Örüntü net: AI modelleri artık, insan uzmanlarının yıllarca çalışıp da çözemediği matematik problemlerinde anlamlı ilerleme kaydediyor. Fields Madalyası seviyesinde bulgular değil ama araştırma cephesinde katkı sağlıyor.
Ekonomik boyut
Riemann zeta sonucunun maliyetini kabaca hesaplayabiliriz. 31 milyon output token, Claude Sonnet 5 API fiyatıyla:
- Output fiyatı: $75/M token
- 31M output token = $2,325
- Input token (multi-turn conversation): tahmini $500-1,000
- Toplam: ~$3,000-3,500
Karşılaştırma için, bir postdoc matematikçinin 1.5 günlük maaşı ~$400-600. Ama tek başına o problemi çözemeyecek bir postdoc. Konuya adanmış bir profesör grubu bile aylar sürecek benzer çalışmayı, Claude 1.5 günde tamamladı.
Bu, akademik matematik ekonomisini derinden etkileyecek bir rakam. Doktora programları, araştırma finansmanı, teklif önceliği — hepsi “AI-augmented mathematics” realitesine adaptasyon gerektirecek.
Türk matematik topluluğu için ne demek?
Boğaziçi, ODTÜ, Sabancı, İTÜ, Koç matematik bölümlerindeki araştırmacılar için üç somut fırsat:
1. AI-augmented research yayın üretme. Levent Alpöge örneği rehberlik ediyor. Türk matematikçiler, Claude ile birlikte açık problemler üzerinde çalışarak uluslararası visibility kazanabilir.
2. Formal verification uzmanlığı. Lean, Coq, Isabelle gibi formal verification dilleri, önümüzdeki 10 yılın en aranan matematik becerilerinden biri olacak. Türk üniversitelerinde bu alanda program açmak, yeni nesil için stratejik.
3. Multi-agent research koordinasyonu. Claude’un 60 alt-ajan koordinasyonu, Türk grupların da uyarlayabileceği bir metodoloji. Sadece “Claude’a soru sor” değil, “Claude ile çok-ajanlı araştırma workflow’u kur” yaklaşımı.
Sonuç: AI matematik cephesi, ivmeye devam ediyor
Claude’un Riemann zeta bulgusu, çığır açan bir sonuç değil. Ama tarihsel önemi büyük: 167 yıllık bir problemin yan alanında, 25 puanlık bir alt sınır sıçraması.
Bir zamanlar “AI matematik yapamaz” söylemi hakimdi. 2024’te “AI olimpiyat sorularını çözebilir ama research level’a ulaşamaz” söylemi geldi. 2026’da bu söylem de çöküyor. Claude, research-level ilerlemeler yapıyor.
Anthropic’in kendi ifadesi belki en doğrusu: “Claude bile kendi bulgusundan şaşırmıştı — başlangıçta şüpheci yaklaştı, muhtemelen eğitim verilerinden matematik açık problemlerinin zorluğunu ve AI modellerinin sınırlarını öğrendiği için. Belki Claude da, birçoğumuz gibi, AI ilerlemesinin hızını hafife alıyor.”
Detaylar için Anthropic’in resmi araştırma sayfası: anthropic.com/research/riemann-zeta. Claude’un tam paper’ı, Anthropic’in özet notu, Lean formalization’ı ve Claude’un “bu sonuca nasıl ulaştım” açıklaması hepsi kamuya açık.
Ve Levent Alpöge için tebrikler — iki büyük AI-matematik projesinin arkasında Türk isim olarak görülmek, Türk teknoloji-akademi ekosistemi için önemli bir sembolik moment.
Bir yanıt yazın