OpenAI matematik, bilgisayar bilimi ve fizikte üç büyük keşif duyurdu

OpenAI, bir aydan kısa süre önce matematikteki uzun soluklu sorulara çözüm içerdiğini söylediği yüzlerce el yazmasını toplu olarak yayımlamıştı. Şirket şimdi matematik, bilgisayar bilimi ve fizik alanlarında üç yeni "büyük" keşif duyurdu. Bunlar OpenAI'nin açıklamalarına dayanıyor ve henüz bağımsız olarak doğrulanmış değil.

Önceki yayından farklı olarak bu kez bağımsız uzmanlar sürece dahil edildi. OpenAI, bu isimleri "shepherd" yani kılavuz olarak tanımlıyor. Bilgisayar bilimi ve fizikte sonuçları bu uzmanlar yönlendirecek; matematik tarafında ise uzmanların önerisiyle model çıktısı doğrudan yayımlandı ve araştırmacıların kendi açıklamalarını geliştirmesine bırakıldı.

Matematikte yerel yumuşatma ve Kakeya iddiaları

Matematik sonucu, Öklid dalga denklemi için yerel yumuşatma (local smoothing) problemiyle ilgili. OpenAI'ye göre ispat, yardımcı bir kısmi diferansiyel denklem kullanarak Sogge'un yerel yumuşatma varsayımını iki ve üzeri tüm uzaysal boyutlarda kanıtlıyor. Şirket, aynı çıktının Kakeya maksimal ve boyut varsayımlarını ve Stein'ın küresel kısıtlama tahminlerini de, öngörülen aralığın iç bölgesi boyunca kapsadığını söylüyor.

OpenAI, bu çıktıyı 6 Ekim'deki yayında olduğu gibi doğrudan, model çıktısı olarak yayımladığını belirtiyor. Kakeya varsayımının üç boyutlu hâli birkaç ay önce NYU profesörü Hong Wang'a Fields Madalyası kazandırmıştı; OpenAI ise modelinin bu varsayımı tüm boyutlarda çözdüğünü öne sürüyor.

Üstel Zaman Hipotezi'nin çürütüldüğü iddiası

Bilgisayar bilimi sonucu, geniş çevrelerce doğru kabul edilen Üstel Zaman Hipotezi'nin (ETH) yanlış olduğunu öne sürüyor. Makalede, sabit genişlikli CNF formüllerinin sağlayan atamalarını tam olarak sayan, alt-üstel zamanlı ve polinom uzaylı deterministik bir algoritma anlatılıyor. Makaleye göre 3-SAT durumu hipotezi çürütüyor.

Sonucu inceleyip açıklama görevini Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams'tan oluşan bağımsız bir grup üstlenecek. Impagliazzo ve Paturi, hipotezi 1999'da ortaya atan ekipte yer almıştı; Williams ise MIT'de profesör. Grubun isteği üzerine yapay zekâ çıktısı ve Lean ispatı bugün GitHub'da herkese açıldı. Ayrıca topluluğa, bu tür iddiaların nasıl inceleneceğine dair görüş isteyen bir açık mektup yayımlandı.

Fizik sonucu ve kılavuz uzman uygulamasına yönelik eleştiri

Fizik sonucunun tamamı henüz yayımlanmadı. OpenAI, çalışmayı dört boyutta ayar alanları ve fermiyonlar içeren, aralarında kuantum renk dinamiği (QCD) ve Standart Model'in birleşik bir tamamlayıcısının bulunduğu bazı etkileşimli kuantum alan teorileri için matematiksel olarak titiz bir varlık ispatı olarak tanımlıyor. Çalışmayı David Gross'un başkanlığında Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov'dan oluşan bir grubun yönlendireceği belirtiliyor.

Şirket bu yaklaşımın kendi sorunları olabileceğini kabul ediyor. OpenAI'nin bir araya getirdiği matematik danışmanlarından oluşan AGMAI paneli dün, yapay zekâ şirketlerinin çıktıları önce belirli kişilere verme uygulamasını benimsememesini önerdi. Panel; eşitsiz erişim, ödünç alınan itibar ve yanlı seçim gibi sorunları gerekçe gösterdi. Bunun yerine çıktıların akademik depolarda, Lean ile biçimlendirilmiş ispatlar, problemlerin nasıl seçildiğine dair bilgi ve sonuçları anlamaya çalışan kişiler için fonlamayla birlikte yayımlanması öneriliyor.

Açık mektup ise erken erişim ve çıkar çatışması kuralları, keşiflerin yanında kontrol etme, düzeltme, sadeleştirme ve açıklama emeğinin nasıl takdir edileceği ve öğrenci ile araştırmacıların değişen yöntemlerde nasıl destekleneceği sorularını topluluğun tartışmasına açıyor.