OpenAI'nin en güçlü modelini genel kullanıma sunmasından sadece bir gün sonra şirket, sistemin, yaklaşık yarım yüzyıldır matematikçilere direnen, grafik teorisinde ünlü bir açık problem olan Döngü Çift Kapak Varsayımı'nın tam bir kanıtını ürettiğini söylüyor.

OpenAI araştırmacısı Ethan Knight, 10 Temmuz 2026'da sonucu duyurdu ve GPT-5.6 Sol Ultra'nın "64 alt aracı kullanarak 50 yıllık Döngü Çift Kapak Varsayımının bir saatin biraz altında bir kanıtını ürettiğini" ilan etti. İddia hızla Hacker News'in üst sıralarına tırmandı ve matematikçilerden ve mühendislerden kanıtın geçerli olup olmadığını tartışan yüzlerce yorum yapıldı.

En son yapay zeka gelişmelerini takip eden herkes için sonuç, sınır modellerinin nereye doğru ilerlediğinin çarpıcı bir göstergesi ve matematiksel iddialarının hala eski yöntemlerle kontrol edilmesi gerektiğinin bir hatırlatıcısı.

Döngü Çift Örtü Varsayımı Nedir?

Bu varsayım, matematiğin grafik teorisi adı verilen bir dalında yer almaktadır. Basit bir ifadeyle, aldatıcı derecede basit bir soru sorar: Herhangi bir "köprüsüz" grafiğin kenarları (kaldırılması onu parçalara ayıracak bir kenarı olmayan) her bir kenarın tam olarak iki kez görünmesi için her zaman bir döngü koleksiyonu tarafından kaplanabilir mi?

Sorun, aralarında 1979'da Paul Seymour ve 1973'te George Szekeres'in de bulunduğu birçok matematikçi tarafından bağımsız olarak, daha önceki kökleri W. T. Tutte ile Alon Itai ve Michael Rodeh'in çalışmalarına dayanılarak ortaya atıldı. Basit ifadesine rağmen bu alandaki en bilinen çözülmemiş problemlerden biri haline geldi ve kısmi sonuçlar yalnızca özel grafik sınıfları için biliniyordu.

OpenAI'nin yayınladığı kanıt notuna göre, argüman sorunu döngüsüz kübik grafiklere indirger, ardından klasik bir sonuca - F32 grubu üzerinde sıfırın hiçbir yerinde olmayan akış teoremi (Tutte'nin 8 akış teoremine eşdeğer) - ve bir kenar etiketlemesini döngüsel çift kapak için gereken yapıya dönüştüren önemli bir doğrusal cebir adımına dayanır. Yazı yalnızca birkaç sayfa uzunluğunda ve bir Hacker News yorumcusunun gözlemlediği gibi, özellikle "son 30 yılda geliştirilen hiçbir matematik" kullanılmıyor.

GPT-5.6 Sol Ultra Buna Nasıl Yaklaştı?

Bu sonucu sıradan chatbot cevaplarından ayıran şey, modelin nasıl konuşlandırıldığıdır. GPT-5.6 Sol Ultra, OpenAI'nin "çoklu aracı v2" modunda çalıştı ve farklı kanıt stratejilerini paralel olarak araştıran 64'e kadar işbirliği yapan alt aracıdan oluşan bir sistemi çalıştırdı. OpenAI, sisteme verilen talimatlara nadir bir bakış sunan, kanıtın yanı sıra istemin tamamını yayınladı.

İstem, modele "çoklu aracı v2'yi agresif ve dinamik bir şekilde kullanma", "çeşitli bir yaklaşım portföyü" sürdürme ve döngü gibi görünen kapalı yollar veya tesadüfi döngüsel akıl yürütme gibi yaygın tuzaklar için herhangi bir aday kanıtını denetlemek üzere rakip aracıları görevlendirme talimatı verdi. Hatta sisteme "geri dönmeyi veya vazgeçmeyi düşünmeden önce en az 8 saat harcaması" söylendi, ancak son çalıştırmanın bir saatten kısa sürede tamamlandığı bildirildi.

Prova notunun "Yapay Zeka kullanımı beyanı" bölümünde OpenAI açık bir şekilde ifade ediyor: "Bu nottaki kanıt tamamen GPT 5.6 Sol Ultra ve Codex (GPT 5.6 Sol ile) ile yapılan yazımdan kaynaklanmaktadır."

Henüz Herkes İkna Değil

Matematik camiası bu duruma hem heyecan hem de ihtiyatla tepki verdi ve bu şüphecilik oldukça yerinde. Yayınlanma tarihi itibariyle kanıt, Lean gibi bir kanıt asistanı tarafından resmi olarak doğrulanmadı ve geleneksel hakem değerlendirmesinden de geçmedi.

Hacker News'te birçok yorumcu, ünlü varsayımların kısa ve zarif kanıtlarının özellikle dikkatli bir incelemeyi hak ettiğini belirtti. Bir kullanıcı, "Bu, son 30 yılda geliştirilen hiçbir matematiğin kullanılmadığı çok kısa bir kanıt" diye yazdı. "Bu mutlaka yanlış olduğu anlamına gelmez, ancak Yalın'da makineleşmenin veya uygun bir meslektaş incelemesinin yokluğunda, bunu yayınlamak için henüz erken olduğunu düşünüyorum."

Diğerleri, grafik teorisinin önde gelen resmi kanıt kütüphanelerinin henüz bu tür araştırma düzeyindeki sonuçları kontrol edecek kadar olgun olmadığına dikkat çekti; bu, doğrulamanın, argümanı satır satır okuyan insan uzmanlardan gelmesi gerekebileceği anlamına geliyor. OpenAI'nin kendisi duyuruyu daha geniş bir modelin parçası olarak çerçeveledi: "Daha fazla test süresi hesaplaması daha fazla zekaya yol açar" diyen şirket, anlatmak istediği gerçek hikayenin bu tek sonuç değil çoklu etmen yaklaşımı olduğunun sinyalini verdi.

Neden Önemlidir

Döngü Çift Kapak kanıtının sonuçta düzeltilmesi gerekse bile bu bölüm, büyük dil modellerinin saf matematikte yapabilecekleri konusunda anlamlı bir değişimin sinyalini veriyor. Frontier AI sistemleri daha önce özel alanlarda (geometri ve kombinatorikteki çözülmüş sorunlara ilişkin diğer güncel iddialar dahil) yeni araştırma sonuçları üretmişti, ancak koordineli bir muhakeme aracı sürüsü ile adlandırılmış, onlarca yıllık bir varsayıma saldırmak çıtayı önemli ölçüde yükseltiyor.

Araştırmacılar için paket servisi iki yönlüdür. Birincisi, çok etmenli reçete (birçok bağımsız girişim, fikirlerin çapraz polenlenmesi ve çekişmeli denetim) zorlu problemlerin çözümü için gerçekten yararlı bir şablon gibi görünüyor. İkincisi, doğrulama darboğazı artık tamamen insanları ilgilendiriyor: Model, aday kanıtları topluluğun kontrol edebileceğinden daha hızlı üretebiliyor.

Bu gerilim muhtemelen yapay zeka destekli matematiğin bir sonraki aşamasını tanımlayacak. Bir yorumcunun belirttiği gibi, eğer bu kanıt geçerliyse, "birileri yeni nesil modellere atılmak üzere uzun süredir devam eden diğer sorunların bir listesini başlatmak üzere" demektir.

Şimdilik, matematikçiler ellerinde kalemle üç sayfalık notu dikkatle okurken, yapay zeka sektörünün geri kalanı GPT-5.6'nın bir saat süren çalışmasının kalıcı matematik kaydının bir parçası olup olmadığını görmek için izliyor olacak.

Yapay Zekanın Önünde Olun

Sınır modeli buluşları ve yapay zeka araştırmalarının kapsamı hakkında daha fazla bilgi için AI Buzz Wire ana sayfasını ziyaret edin.

Daha fazla AI haberini okuyun →