GPT-5.6 Sol Ultra, 64 alt-ajanla 50 yıllık matematik sanısını 'kanıtladı'
OpenAI'ın yeni amiral gemisi modeli GPT-5.6 Sol Ultra, 1973'ten beri açık duran Cycle Double Cover Conjecture için bir kanıt üretti. Model, 64 alt-ajanı eşzamanlı ve bağımsız yaklaşımlarla çalıştıran bir orkestrasyonla kanıtı bir saatten kısa sürede tamamladı. Kanıt PDF olarak yayınlandı ama henüz hakem denetiminden geçmedi; sanı geçmişte birden fazla hatalı kanıta konu olmuştu.
OpenAI, 9 Temmuz’da genel kullanıma açtığı yeni amiral gemisi modeli GPT-5.6 Sol Ultra’nın çarpıcı bir başarıya imza attığını duyurdu: model, 1973’te George Szekeres ve bağımsız olarak 1979’da Paul Seymour tarafından ortaya atılan ve o günden beri çözülemeyen Cycle Double Cover Conjecture (Çift Çevrim Örtüsü Sanısı) için bir kanıt üretti.
Sanı ne diyor?
Sanı, kabaca şunu iddia ediyor: “köprüsü” olmayan (yani kaldırılması grafiği ikiye bölmeyecek kenarı bulunmayan) her grafikte, grafiğin her kenarını tam olarak iki kez örten bir çevrim kümesi bulunabilir. Basit görünen bu iddia, yarım asırdır grafik teorisinin çözülmemiş klasik problemlerinden biri olarak kaldı.
64 alt-ajanlı orkestrasyon
Modele verilen prompt, eşzamanlı olarak en fazla 64 alt-ajan çalıştırmasını ve bunları “agresif ve dinamik” biçimde yönetmesini istiyor. İlk turlarda alt-ajanlar bilinçli olarak farklı yollardan ilerliyor — kimi cebirsel formülasyonları, kimi yapısal tümevarım yaklaşımlarını bağımsızca deniyor. Bu paralel arama stratejisiyle model, kanıtı bir saatten kısa sürede tamamladı.
Kanıt, OpenAI’ın kendi CDN’inde PDF olarak yayınlandı ve yazarlık tamamen modele atfedildi.
Temkinli okunmalı
Bilim camiasının hatırlattığı önemli bir nokta var: kanıt henüz hakem denetiminden geçmedi. Cycle Double Cover Conjecture, geçmişte de birden fazla hatalı kanıt girişimine konu olmuş bir problem — bu yüzden matematikçiler sonucu doğrulanana kadar ihtiyatla karşılıyor. Yine de otonom çoklu-ajan orkestrasyonunun araştırma-düzeyinde akıl yürütmede ulaştığı seviyeyi göstermesi bakımından gelişme dikkat çekici.
Bir modelin, insanların 50 yıldır çözemediği açık bir matematik problemine hakem-öncesi de olsa bir kanıt üretebilmesi, yapay zekânın araştırma-düzeyi akıl yürütmede geldiği noktayı gösteriyor — ama sonuç doğrulanana kadar temkinli okunmalı.
- The Decoder — OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem · 2026-07-10
- CryptoBriefing — OpenAI's GPT-5.6 Sol Ultra math proof · 2026-07-10
- OfficeChai — GPT 5.6 Sol produced a proof using 64 subagents · 2026-07-10
Bu haber ozgun ozet olarak hazirlanmistir; telif hakki ilgili kaynaklara aittir. Tam metin icin kaynak baglantilarini ziyaret edin.
Ilgili Haberler
Anthropic araştırmacısından kendi kendini geliştiren yapay zekâya bir bakış
Anthropic'in fellows programındaki bir araştırmacı, yapay zekâ sistemlerinin literatür tarayıp yöntem önererek ve modeli kısa iterasyonlarla eğiterek hizalama hatalarını azaltabildiğini gösteren yeni bir makale yayınladı. Çalışmada, en iyi otomatik yöntem ortalama altı saat içinde deneyimli insan araştırmacıların önerdiği yöntemleri geride bırakmış; maliyet karşılaştırmasında saatte yaklaşık 4 dolarlık otomatik araştırmaya karşı insan araştırmacı için saatte yaklaşık 150 dolar rakamı veriliyor.
Sony, EMI ve Warner Chappell, Anthropic'i şarkı sözü korsanlığıyla suçlayan yeni dava açtı
Büyük müzik yayıncıları Sony, EMI ve Warner Chappell, Anthropic'in kitap yazarlarıyla 1,5 milyar dolarlık telif uzlaşmasının ardından şirketi bu kez torrent yoluyla binlerce şarkı sözü ve nota içeren eseri izinsiz indirmekle suçlayan yeni bir dava açtı. Dilekçe, kurucu ortağın toplu indirme yaptığını gösteren iç yazışmaları kanıt olarak sunuyor. Anthropic ise iddiaları reddedip adil-kullanım savunmasını sürdüreceğini açıkladı.
Anthropic'in yeni Fable 5.1 modeli daha ucuz ve daha az kısıtlayıcı geliyor
Anthropic, en gelişmiş model ailesinin yeni sürümlerini — Fable 5.1 ve Mythos 5.1'i — yayınladı. Yeni sürüm performans artışının yanında token maliyetini düşürüyor ve güvenlik filtrelerinin yanlış-pozitif engellemelerini azaltıyor. Kurumsal müşteriler için daha önce sunulmayan 'Sıfır Veri Saklama' özelliği artık Fable ailesine de geliyor; Mythos 5.1 ise yalnızca siber güvenlik veya yaşam bilimleri araştırması yapan kayıtlı ortaklara açılıyor.