60 Yapay Zeka Alt Ajanı, 150 Yıllık Bir Matematik Problemini 1,5 Günde İnsanların Tek Başına Ulaştığından Daha İleriye Taşıdı
Anthropic'in yayınlanmamış bir araştırma modeli olan Claude, Riemann zeta fonksiyonunun hipotezi sağlayan sıfırlarının kanıtlanmış alt sınırını %41,6'dan %67,2'ye çıkardı; bu, şimdiye kadarki en büyük tek adımlık iyil... Sonuç, şirket içi iki matematikçi tarafından doğrulandı ve Lean ispat asistanında resmileştirile...
Anthropic'in yayınlanmamış bir araştırma modeli olan Claude, Riemann zeta fonksiyonunun hipotezi sağlayan sıfırlarının kanıtlanmış alt sınırını %41,6'dan %67,2'ye çıkardı; bu, şimdiye kadarki en büyük tek adımlık iyil...
Sonuç, şirket içi iki matematikçi tarafından doğrulandı ve Lean ispat asistanında resmileştirilerek yapay zeka tarafından üretilen sonuçlara yönelik en güçlü itirazlardan birine yanıt verildi.
Bu atılım, 2026'daki daha geniş bir dönüm noktasının parçası: OpenAI, Google DeepMind ve Anthropic, yapay zeka sistemlerinin açık problem düzeyinde matematiksel sonuçlar ürettiğini gösterdi ve bu durum Leiden Deklaras...
What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomoAnthropic's unreleased Claude model improved the Riemann zeta bound from 41.6% to 67.2% using 60 coordinated subagents and over 31 million tokens of autonomous computation. (Image: GPT-4o)
AI Prompt
Create a landscape editorial hero image for this Studio Global article: What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomo. Article summary: Let me search for information on this topicLet me search for the broader context of AI mathematical breakthroughs in 2026 and the debates around authorship and standards## What the Anthropic model achieved. Topic tags: general, general web, user generated, academic, news. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with f
openai.com
10-11 Ağustos 2026 tarihlerinde Anthropic, yayınlanmamış bir araştırma versiyonundaki Claude modelinin Riemann hipoteziyle ilgili bir problemde önemli ilerleme kaydettiğini duyurdu . Model, Riemann zeta fonksiyonunun kritik doğru üzerinde yer alan aşikar olmayan sıfırlarının oranına ilişkin uzun süredir devam eden bir alt sınırı %41,6'dan %67,2'ye yükseltti . Bu, bu sınıra yapılan şimdiye kadarki en büyük tek adımlık iyileştirme olarak kayıtlara geçti . Model, Riemann hipotezinin kendisini kanıtlamadı (hala 1 milyon dolar ödüllü yedi Clay Milenyum Probleminden biri), ancak bu sonuç analitik sayılar teorisinde gerçek bir teorem olarak kabul ediliyor .
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
What is the short answer to "60 Yapay Zeka Alt Ajanı, 150 Yıllık Bir Matematik Problemini 1,5 Günde İnsanların Tek Başına Ulaştığından Daha İleriye Taşıdı"?
Anthropic'in yayınlanmamış bir araştırma modeli olan Claude, Riemann zeta fonksiyonunun hipotezi sağlayan sıfırlarının kanıtlanmış alt sınırını %41,6'dan %67,2'ye çıkardı; bu, şimdiye kadarki en büyük tek adımlık iyil...
What are the key points to validate first?
Anthropic'in yayınlanmamış bir araştırma modeli olan Claude, Riemann zeta fonksiyonunun hipotezi sağlayan sıfırlarının kanıtlanmış alt sınırını %41,6'dan %67,2'ye çıkardı; bu, şimdiye kadarki en büyük tek adımlık iyil... Sonuç, şirket içi iki matematikçi tarafından doğrulandı ve Lean ispat asistanında resmileştirilerek yapay zeka tarafından üretilen sonuçlara yönelik en güçlü itirazlardan birine yanıt verildi.
What should I do next in practice?
Bu atılım, 2026'daki daha geniş bir dönüm noktasının parçası: OpenAI, Google DeepMind ve Anthropic, yapay zeka sistemlerinin açık problem düzeyinde matematiksel sonuçlar ürettiğini gösterdi ve bu durum Leiden Deklaras...
Bu başarı, Anthropic'teki araştırmacıları bile hayrete düşüren çarpıcı bir çoklu ajan iş akışını takip etti:
Ciddi bir matematik geçmişi olmayan bir Anthropic çalışanı, modelden hipotezi kanıtlamak için "gerçek bir girişimde" bulunmasını istedi .
Yaklaşık 1,5 gün boyunca model, 60 koordineli alt ajan aracılığıyla yaklaşık 650 aday yaklaşımı test etti .
Çalışma, iki oturumda 31 milyon çıktı token'i tüketti, 2.400 shell komutu çalıştırdı ve 54 arXiv makalesini inceledi .
60 alt ajandan ikisi, önemli matematiksel atılımı geliştirmekten sorumluydu .
Kazanan yaklaşım, Enrico Bombieri'nin 2000 tarihli bir makalesini daha yeni sonuçlarla sentezledi — daha önce hiçbir insan araştırmacının bir araya getirmediği bir kombinasyon .
Doğrulama: İki Katmanlı İspat
İki şirket içi matematikçi — Levent Alpöge ve Ralph Furmaniak — ispatı inceledi ve onayladı . Argüman daha sonra etkileşimli bir teorem kanıtlayıcı olan Lean'de resmileştirildi ve makine tarafından kontrol edilebilir bir doğruluk sertifikası üretildi . Bu ikili doğrulama (uzman insan incelemesi + resmi doğrulama), yapay zeka tarafından üretilen matematiksel sonuçlar için en iyi uygulama kanıtı olarak kabul ediliyor.
Bir Dönüm Noktası: 2026, Yapay Zekanın Açık Problem Araştırmasına Geçtiği Yıl
Claude'un Riemann sınırını iyileştirmesi izole bir olay değil. 2026, yapay zeka liderliğindeki hızlanan bir dizi matematiksel atılıma tanıklık etti:
Mayıs 2026 — OpenAI, yayınlanmamış bir genel akıl yürütme modelinin 80 yıllık açık bir problem olan Erdős birim mesafe varsayımını otonom olarak çürüttüğünü duyurdu .
Mayıs 2026 — Google DeepMind'ın AlphaProof Nexus'u, dokuz açık Erdős problemini (bazıları 56 yıldır çözülememişti) çözdü ve Çevrimiçi Tamsayı Dizileri Ansiklopedisi'nden (OEIS) 44 varsayımı kanıtladı; tümü Lean'de resmileştirildi .
Temmuz 2026 — Anthropic matematikçisi Levent Alpöge, yayınlanmamış "Fable 5" modelini kullanarak 1939'da ortaya atılan Jacobian varsayımına bir karşı örnek buldu .
Ağustos 2026 — OpenAI'in Astra modelinin, yaklaşık 2.000 dolarlık hesaplama maliyetiyle onlarca yıllık on matematik problemini çözdüğü ve makine tarafından kontrol edilebilir ispatlarını GitHub'da Lean olarak yayınladığı bildirildi .
Birçok yorumcu, alanın 2026'nın ortalarında bir eşiği geçtiğini belirtti: Yapay zeka sistemleri, yarışma düzeyindeki matematik problemlerini çözmekten, yayınlanabilir, açık problem düzeyinde araştırmalar üretmeye geçti .
Tartışma: Yazarlık, Standartlar ve Leiden Deklarasyonu
Yapay zeka tarafından üretilen matematiğin hızlı temposu yoğun bir tartışmayı tetikledi:
Haziran 2026'da, 16 matematikçiden oluşan bir grup Leiden Yapay Zeka ve Matematik Deklarasyonu'nu yayınlayarak ispat yapısı, yazarlık atıfı ve yapay zeka tarafından üretilen sonuçların insan denetimi için yeni standartlar önerdi . Deklarasyon, Uluslararası Matematik Birliği (IMU) tarafından tartışıldı .
Temel gerilimler şunları içeriyor: Bir yapay zeka bir ispat ürettiğinde yazarlık kredisi kime ait? İspatlar insanların resmi araçlar olmadan tam olarak incelemesi için çok uzun veya yeni ise alan epistemik güveni nasıl koruyabilir? Ve dergiler, hiçbir insanın tek başına üretemeyeceği sonuçları nasıl hakem değerlendirmesine tabi tutmalı ?
Bazı matematikçiler, yapay zeka destekli ispatların anlayış ve açıklayıcı içgörüyü aşındırma riski taşıdığını savunuyor — bir ispat doğru olabilir ancak anlaşılması güç olabilir . Diğerleri ise Lean'deki resmi doğrulamanın geleneksel hakem değerlendirmesinden daha katı bir standart sağladığını düşünüyor .
Bunun Yapay Zekanın Yeni Bilim Keşfetme Yeteneği İçin Anlamı
Anthropic'in Riemann sonucu, tartışmayı birkaç somut şekilde ilerletiyor:
1. Otonom keşif ölçeği önemlidir.
60 alt ajan arasında 650 fikrin test edilmesi, çoklu ajan mimarilerinin hiçbir insan araştırma grubunun aynı zaman diliminde eşleştiremeyeceği bir ölçekte sistematik arama yapabileceğini gösteriyor . Bu, soruyu "Yapay zeka matematik yapabilir mi?" sorusundan "Yapay zeka destekli keşfi bilimsel keşif sürecine nasıl entegre etmeliyiz?" sorusuna kaydırıyor.
2. Tesadüfi sentez mümkündür.
Matematik eğitimi olmayan bir modelin Bombieri'nin 2000 tarihli makalesini daha yeni sonuçlarla birleştirmesi — daha önce hiçbir insanın görmediği bir kombinasyon — yapay zekanın farklı literatürler arasında bariz olmayan kavramsal bağlantılar kurabileceğini gösteriyor . Bu yetenek, LLM'lerin yalnızca aradeğerleme mi yaptığı yoksa gerçekten keşfedebileceği mi konusundaki temel bir endişeyi doğrudan ele alıyor.
3. Resmi doğrulama güven sorununu çözüyor.
Lean formalizasyonu, sonucun "kara kutu" bir iddia olmadığı anlamına geliyor. Bu, herhangi bir matematikçinin mekanik olarak inceleyebileceği kanıtlanabilir şekilde doğru bir teoremdir. Bu, yapay zeka tarafından üretilen bilimsel sonuçların nasıl doğrulanabilir hale getirilebileceğine dair bir şablon sunarak, yapay zeka liderliğindeki keşiflere yönelik en güçlü itirazlardan birini ele alıyor.
4. Yazarlık ve standartlar tartışması yapıcıdır, felç edici değildir.
Çarpıcı sonuçların (DeepMind, OpenAI, Anthropic) ve topluluk liderliğindeki kurumsal yanıtların (Leiden Deklarasyonu) eşzamanlı ortaya çıkışı, matematik topluluğunun gerilemek yerine uyum sağladığını gösteriyor . Mevcut konuşma normlar ve kredi üzerine odaklanmış durumda, yapay zeka çıktılarını toptan reddetmek üzerine değil.
5. Keşfin maliyeti ve hızı düşüyor.
OpenAI'ın Astra sonuçları için 2.000 dolarlık hesaplama maliyeti ve Claude'un Riemann sınırı için 36 saatlik geri dönüş süresi, yayınlanabilir bir matematiksel keşfin marjinal maliyetinin sıfıra yaklaştığını gösteriyor . Bunun, araştırmacıların hangi soruları takip etmeyi seçeceği ve matematiksel araştırmalara kimlerin katılabileceği konusunda derin etkileri var.
Alt Satır
Anthropic'in Riemann sınırını iyileştirmesi, yapay zeka sistemlerinin artık 150 yıllık bir problemi ilerleten, yayınlanabilir, resmi olarak doğrulanabilir matematiksel sonuçları otonom olarak keşfedebileceğini gösteren bir dönüm noktası niteliğindedir. 2026'daki benzer atılımlarla birleştiğinde, tartışmayı "yapay zeka bilimsel keşfe katkıda bulunabilir mi" sorusundan "bilim topluluğu, yeni bir yapay zeka yardımcı keşifçi sınıfı için teşvikleri, atıfları ve doğrulamayı nasıl yapılandırmalı" sorusuna taşıyor.
neowin.net
Unreleased Claude model makes breakthrough on century-old Riemann Hypothesis math problem
