GPT-5.6 Sol Ultra 50 Yıllık Matematik Bilmecesini Bir Saatte Çözdü

Bir matematikçinin ömrünü adayıp çözemediği bir problemi düşünün. Elli yıl boyunca dünyanın dört bir yanındaki zihinlerin üzerine eğildiği, kısmi çözümler ürettiği ama hiçbirinin tam olarak fethedemediği bir soru. Şimdi hayal edin: Bir yapay zekâ modeli, aynı problemin önüne oturuyor ve bir saatten kısa sürede eksiksiz bir kanıt sunuyor. İşte OpenAI'nin yeni modeli GPT-5.6 Sol Ultra ile yaşanan tam da bu.

Model, graf teorisinin yarım asırlık bilmecelerinden biri olan "Çevrim Çift Örtü Sanısı"nın (Cycle Double Cover Conjecture) tam bir kanıtını üretti. 1970'lerde birden fazla matematikçi tarafından bağımsız olarak formüle edilen bu sanı, o günden beri sadece özel durumlar için parçalı çözümlere ulaşılabilmiş, genel kabul gören bir ispata kavuşamamıştı. GPT-5.6 Sol Ultra ise 64 alt-ajanı aynı anda paralel çalıştırarak bu duvarı aştı.

Bu haber tek başına bir başarıdan çok daha fazlasını anlatıyor. Çünkü altında, yapay zekânın "düşünme" biçimine dair çok daha derin bir sorunun tohumları yatıyor.

Problem Aslında Ne Soruyordu?

En sade haliyle sanı şunu soruyor: Herhangi bir düğüm ve kenar ağında (yani bir grafta), her bir kenarın tam olarak iki kez geçildiği bir çevrimler kümesi bulmak mümkün müdür? Kulağa masum gelen bu soru, matematikçiler için onlarca yıldır açık bir yara olarak kaldı.

OpenAI'ye göre kanıtın tamamı GPT-5.6 Sol Ultra'dan geldi; makaleyi ise GPT-5.6 Sol yazdı. Manchester Üniversitesi'nden matematikçi Thomas Bloom, çözümü "çok güzel bir kanıt" olarak nitelendirdi ve şaşırtıcı bir yorum yaptı: İspat "kısa, temel düzeyde ve 1980'lerde keşfedilebilecek" nitelikte. Yani yeni bir matematiksel teoriye ihtiyaç duymuyor; sadece bilinen araçları ustaca birleştiriyor.

Peki neden insanlar bunu bulamadı? Bloom'un tahmini ilham verici: Anahtar adım, akıl yürütmede küçük ama sezgiye aykırı bir dönüşü içeriyor olabilir. Bir insan matematikçi bariz yolu dener, başarısız olur ve "demek ki bu kadar kolay değilmiş" deyip vazgeçer. Yapay zekâ ise cesaretini yitirmez; küçük varyasyonları biri tutana kadar denemeye devam eder. İşte makinenin gizli süper gücü: sonsuz sabır.

Bu Ne Anlama Geliyor?

Ama madalyonun bir de öbür yüzü var. Bloom, kanıtın arkasındaki temel fikirlerin en az 1983'e, Bermond, Jackson ve Jaeger'in bir makalesine kadar uzandığını belirtiyor. Eleştirisi net: OpenAI'nin makalesi bu önceki çalışmalara hiç atıf yapmıyor. Yani makaleyi okuyan biri, stratejinin tamamen yapay zekâ tarafından icat edildiğini sanabilir. Bloom bunun yapay zekâ üretimi makalelerde sık görülen bir sorun olduğunu vurguluyor: Literatürden alınan fikirler, uygun atıf yapılmadan kullanılıyor.

Burada asıl büyük soru beliriyor: Yapay zekâ yalnızca var olan bilgiyi mi buluyor ve yeniden mi birleştiriyor, yoksa gerçekten yeni bir şey mi yaratıyor? Bu kanıt özelinde Bloom, birincisine daha yakın duruyor.

İlginç bir ayrıntı da başarının arkasındaki insan emeğinde gizli: prompt yani modele verilen yönerge. İnsanlar, Bloom'un bahsettiği o "sabrı" adeta modele mühendislik yoluyla yerleştirmişler. Prompt önce modele "eksiksiz bir kanıt vardır" varsayımını dayatıyor, ardından internette arama yapmasını ve "bu problem çözülmedi" demesini yasaklıyor. Model başka çareye kalmadan çözmek zorunda bırakılıyor. Dahası, 64 ajanın çoğu hangi yaklaşımın umut vaat ettiğinden kasıtlı olarak habersiz tutuluyor ki bağımsız düşünsünler. Modele en az sekiz saat hesaplama yapması söylenmişti; o bir saatte bitirdi.

Bloom, benzer sonuçların yakında çoğalacağını öngörüyor: "Yalnızca mevcut, iyi gelişmiş teoriyi, bolca sabrı ve inancı gerektiren" problemler yapay zekânın av alanı olacak. Ancak bunun açık problemlerin küçük bir kısmı olduğunu ve hangilerinin bu kategoriye girdiğini önceden bilemediğimizi de ekliyor.

Ufukta Ne Var?

Gelin geleceğe uzanalım. Bugün yaşananlar, bir öngörünün ilk adımı: Beş yıl içinde matematik araştırması, insan sezgisi ile makine sabrının ortak dansına dönüşebilir. İnsanın "burada bir şey olmalı" hissi ile yapay zekânın yorulmadan binlerce varyasyonu tarayabilme yeteneği birleştiğinde, on yıllardır rafta bekleyen sanılar birer birer düşebilir. Bloom'un dediği gibi, "aslında her zaman elimizin altında olan" çözümleri keşfetmenin eşiğindeyiz.

Bu, matematikçinin işini elinden almak değil; onun ufkunu genişletmek anlamına geliyor. Ama atıf sorunu gibi dürüstlük meselelerini bugünden çözmezsek, bilimin en değerli geleneği olan "omuzlarında durduğumuz devlere" saygı zedelenebilir.

Türkiye'ye Etkisi

Türkiye'nin genç ve kalabalık matematik ve bilgisayar bilimi topluluğu için bu gelişme somut bir kapı aralıyor. Pahalı laboratuvarlar veya devasa ekipler olmadan, doğru yönlendirilmiş bir yapay zekâ modeliyle bir Türk üniversitesindeki doktora öğrencisi de köklü açık problemlere saldırabilir. Önemli olan artık yalnızca kaynak değil, doğru soruyu ve doğru "sabır mühendisliğini" kurabilmek. Yerli araştırmacılar için mesaj açık: Bu araçları erken benimseyen, önümüzdeki on yılın matematiksel keşiflerinde söz sahibi olabilir.