Anthropic Modeli Riemann Hipotezinde İlerleme Kaydetti

650 fikir, 60 alt ajan, yaklaşık 36 saat çalışma ve 31 milyon token. Anthropic'in henüz yayınlanmamış bir modeli, matematiğin 150 yıldır açık duran problemlerinden biri üzerinde çalışırken bu kaynakları tüketti. Sonunda ortaya elle tutulur bir katkı çıktı.

TechCrunch'ın 11 Ağustos'ta aktardığına göre model, Riemann hipotezinin doğru olduğu bilinen aralığın alt sınırını belirgin biçimde yukarı taşıdı. Yani hipotezin geçerli olduğu doğrulanmış bölge genişledi. Sonucu Anthropic bünyesindeki iki matematikçi kontrol etti ve argüman Lean adlı açık kaynaklı kanıt doğrulayıcısıyla biçimsel olarak yazıldı.

Riemann hipotezi kabaca asal sayıların sayı doğrusu üzerinde nasıl dağıldığını anlatan bir iddia. 1859'dan beri açık ve modern matematiğin pek çok sonucu doğru olduğu varsayımıyla kurulmuş durumda. Kanıtlanması, halihazırda üzerine bina edilmiş yüzlerce sonucu sağlama bağlayacak.

Lean tarafı da önemsiz bir ayrıntı değil. Lean, bir matematiksel argümanı bilgisayarın adım adım denetleyebileceği biçimde yazmanızı sağlayan bir araç. Bir modelin ürettiği kanıtın ikna edici görünmesi ile denetlenebilir olması arasındaki farkı kapatıyor, çünkü dil modelleri doğru sesli ama hatalı argüman üretme konusunda fazlasıyla yetenekli.

Alt ajanların yarısı boşa kürek çekti

Asıl dikkat çeken kısım, sonucun hangi yöntemle üretildiği. Modeli yönlendiren kişi Anthropic çalışanıydı ve derin bir matematik geçmişi yoktu. Model işi kendi içinde dağıttı: 60 alt ajandan sadece ikisi kilit fikirleri üretti, 13'ü destekleyici katkı verdi, 30'u hiçbir sonuca ulaşamadı, 13'ü üretilen argümanları doğruladı, ikisi de yazıyı kaleme aldı.

Başka bir deyişle denemelerin yarısı çöpe gitti ve bu, yöntemin doğal bir parçasıydı.

Kanıt değil, sınır: aradaki fark önemli

Burada dikkatli olmak gerekiyor, çünkü haber kolayca abartılabilir. Riemann hipotezi kanıtlanmadı. Clay Matematik Enstitüsü'nün 1 milyon dolarlık ödülü hâlâ sahibini bekliyor. Yapılan şey, hipotezin doğrulandığı aralığı genişletmek. Matematikte bu ciddi bir katkı sayılır, ancak problemi kapatmaz.

Modelin adı da açıklanmadı. Anthropic'in ürün olarak sunmadığı bir sürümden söz ediyoruz, yani bugün gidip deneyebileceğiniz bir şey yok.

Matematikçiler ikiye bölündü

Tepkiler bir hayli farklı. Haziran 2026'da yayımlanan Leiden Bildirisi, yapay zekanın matematikte kime atıf yapılacağı konusundaki yerleşik düzeni bozabileceği uyarısını yapmıştı. Fields Madalyalı Timothy Gowers ise bunun ille de kötü olmadığını, teoremlerin tek tek matematikçilerin adıyla anılmamasının kabul edilebilir bir gelecek olabileceğini savundu.

Tartışma "model matematik yapabilir mi" sorusundan çıkıp "yaptığında hangi ismi yazacağız" sorusuna geçmiş durumda.

Bu haberin işletmenize dokunan tarafı

Riemann hipotezi muhtemelen sizin gündeminizde değil. Ama bu çalışmadaki çalışma biçimi, önümüzdeki yıl kurumsal yazılımda göreceğimiz şeyin habercisi.

Tek bir modele soru sorup cevap beklemek yerine, bir işi düzinelerce ajana bölmek, çoğunun başarısız olmasını göze almak ve sonuçları doğrulayan ayrı bir ajan katmanı koymak. Sahada gördüğümüz kadarıyla Türkiye'deki şirketlerin çoğu hâlâ birinci aşamada, yani "yapay zekaya soralım bakalım ne diyor" seviyesinde. Oysa değer, doğrulama katmanını kuranlarda birikiyor.

Bir de maliyet tarafı var: 31 milyon token, tek bir problem için ciddi bir harcama. Ajan mimarileri ucuz değil. Bunları kurarken sorulacak ilk soru "yapabilir mi" değil, "bu işi doğrulanmış şekilde bitirmek kaça mal oluyor" olmalı.

Kaynaklar: TechCrunch, Clay Mathematics Institute