Bir OpenAI modeli, araştırmacıların onlarca yıldır çözemediği bir matematik problemini çözmüş olabilir.
OpenAI’nin resmi içerik dağıtım ağında yayınlanan üç sayfalık makale, grafik kuramının uzun süredir açıkta duran sorularından Çift Çevrim Örtü Varsayımı’na bir ispat sunduğunu öne sürüyor. Metne göre ispatın tamamı GPT-5.6 Sol Ultra tarafından üretildi; Codex ve GPT-5.6 Sol ise bu çalışmanın makale haline getirilmesinde kullanıldı.
Bu iddia son derece iddialı. Eğer bağımsız matematikçiler ispatı doğrularsa, bu, gelişmiş yapay zekâ sistemlerinin yalnızca mevcut literatürü özetlemekten veya hesaplamalara yardım etmekten fazlasını yapabildiğine dair güçlü bir işaret olacak. Bu tür modeller, insanların yıllardır uğraşıp çözemediği soruları aşabilecek düzeyde özgün matematik üretebiliyor olabilir.
Şimdilik ise ortada kabul görmüş bir çığır açan sonuç değil, yalnızca “kanıtlandığı” iddia edilen bir varsayım var.
Yapay Zekâ Neyi Çözdüğünü İleri Sürüyor?
Grafik kuramı, ağ yapılarının ve bağlantıların matematiksel olarak incelendiği alan.
Bir grafiği, çizgilerle birbirine bağlanmış noktalardan oluşan bir yapı gibi düşünebiliriz. Noktalar insanlar, bilgisayarlar, şehirler veya herhangi başka nesneleri; çizgiler ise bu nesneler arasındaki ilişkileri ya da bağlantıları temsil eder.
Çift Çevrim Örtü Varsayımı, kritik bir tek kopma noktasına sahip olmayan her bağlantılı ağın, her bir bağlantının tam iki kez yer aldığı bir “çevrim ailesi” ile örtülüp örtülemeyeceğini soruyor.
Son derece soyut görünse de problem, onlarca yıldır çözülememiş durumda ve William Tutte, George Szekeres ve Paul Seymour gibi önemli matematikçilerin çalışmalarında merkezi bir rol oynadı.
Araştırmacılar varsayımı belli türdeki grafikler için ispatlamayı başardı, ancak genel durumda –tüm uygun grafikler için– tam bir ispat bugüne kadar elde edilememişti.
OpenAI’nin barındırdığı yeni makale, işte bu boşluğu kapattığını iddia ediyor.
İspatın Temel Stratejisi
Makaledeki argüman son derece teknik, ancak ana hatları daha sade biçimde özetlenebiliyor.
İlk adımda problem, her noktanın tam üç bağlantıya sahip olduğu daha özel bir ağ sınıfına indirgeniyor.
Model daha sonra “akış” (flow) adı verilen yerleşik bir matematiksel aracı kullanarak ağdaki bağlantılara etiketler atıyor. Bu etiketler, bağlantıların doğal olarak çevrimler oluşturacağı biçimde yeniden düzenleniyor.
Kritik koşul, her bir bağlantının bu çevrimlerin tam ikisinde yer alması.
Makale, ağın farklı bölümleri arasındaki geriye kalan uyumsuzlukların ise lineer cebir yöntemleriyle çözülebildiğini savunuyor. Bu tutarlılık sorunu giderildiğinde, tüm ağ için aranan çevrim örtüsü ortaya çıkmış oluyor.
Daha sade anlatımla, yapay zekâ bilinen çeşitli matematiksel araçları alıp bunları yeni bir şekilde birleştirerek, varsayımdaki tüm geçerli ağlar için gerekli çevrimleri kurduğunu ileri sürüyor.
Bu Neden Yapay Zekâ Açısından Önemli Olabilir?
Yapay zekâ sistemleri bugün hâlihazırda kod yazmak, piyasaları analiz etmek, araştırma özetleri çıkarmak ve bilimsel çalışmalara destek olmak için yaygın biçimde kullanılıyor.
Ancak köklü bir matematik varsayımını ispatlamak, bu görevlerden birkaç seviye daha yukarıda.
Geçerli bir ispat, teoremin kapsadığı her durumda çalışmak zorunda. Birkaç örnek için doğru sonuç üretmek ya da ilk bakışta ikna edici görünmek yeterli değil.
Ayrıca Oku: Anthropic’in 3. Çeyrek Kârı, Halka Arz Başvurusu Öncesi 1 Milyar Doları Aşabilir
Bu nedenle matematik, bir yapay zekâ sisteminin gerçekten mantıksal çıkarım yapıp yapamadığını –yoksa yalnızca kulağa makul gelen metinler mi ürettiğini– test etmek için en berrak alanlardan biri olarak görülüyor.
Eğer ispat doğru çıkarsa, sınır modellerinin yerleşik bilgiyi yeni argümanlara dönüştürme ve özgün çözüm yolları kurma kapasitesine ulaştığını gösterecek.
Bu da yalnızca grafik kuramının ötesinde, fizik, kriptografi, bilgisayar bilimi ve ekonomi gibi alanlardaki en zor sorulara yönelik keşiflerde benzer sistemlerin devreye girmesinin önünü açabilir.
Asıl Sınav Şimdi Başlıyor
Makalenin OpenAI’nin kontrolündeki bir alan adında barındırılıyor olması, belgenin kaynağı açısından anonim bir yüklemeye kıyasla daha güçlü bir “menşe kaydı” sunuyor. Ancak bu durum, ispatın otomatik olarak doğru olduğu anlamına gelmiyor.
Taslakta imzalı insan yazarlar yer almıyor, hakem değerlendirmesi geçmişi paylaşılmıyor ve bağımsız grafik kuramcılarının yorumları bulunmuyor.
Bu önemli, çünkü ünlü matematik problemleri düzenli olarak, sonradan kritik boşluklar içerdiği ortaya çıkan “çözüm iddiaları” ile gündeme geliyor.
Bir ispat ilk bakışta temiz ve ikna edici görünüp, yine de bir adımda her zaman geçerli olmayan bir varsayıma dayanarak, özel bir durumu gözden kaçırarak ya da mevcut bir teoremi gereğinden geniş uygulayarak başarısız olabilir.
Bu yüzden sıradaki adım, bağımsız doğrulama.
Matematikçilerin, yapılan indirgemelerin her birini didik didik inceleyip lineer cebire dayalı argümanın varsayım kapsamındaki tüm köprüsüz grafikler için işlediğini teyit etmesi gerekecek.
Araştırmacılar, ispatı her mantık adımının yazılım tarafından denetlendiği biçimde çalışan bir biçimsel ispat asistanına da aktarmayı deneyebilir.
İddia Edilen Bir Atılım, Henüz Kesinleşmiş Bir Gerçek Değil
Bugün için en temkinli tanımlama, bir OpenAI modelinin potansiyel olarak çok önemli olabilecek, ancak hâlâ dış onaya muhtaç bir ispat üretmiş olması.
Uzmanlar bir hata bulsa bile, makale getirdiği yeni yaklaşım veya indirgeme yöntemleriyle literatüre katkı sağlayabilir.
Buna karşılık ispat, ayrıntılı incelemeden hatasız çıkarsa, etkisi çok daha büyük olacaktır.
Bu durumda, bir yapay zekâ sisteminin yalnızca bir matematikçiye eşlik eden bir yardımcı değil, kuşaklardır açık duran bir problemi başlı başına çözen taraf olarak da kredilendirilmesi gerekecek.
Dolayısıyla bugün anlatılan hikâye, yapay zekânın Çift Çevrim Örtü Varsayımı’nı kesin olarak çözdüğü değil.
Hikâye, yapay zekânın bunu yapmış olabileceği ve matematik camiasının şimdi modelin gerçekten kusursuz bir ispat mı sunduğunu, yoksa bugüne kadarki en “inandırıcı görünen” hatalardan birini mi ürettiğini belirlemek zorunda olduğu.
Sonraki Haber: Çin, Yapay Zekâ Model İhracatına Sınırlama Getirmek İçin Alibaba ve ByteDance İle Masaya Oturdu