Belirli bir hesaplama probleminin çözüm süresi, problem büyüdükçe ne kadar hızlı artmak zorunda? OpenAI’ın 26 Ekim duyurusunda Üstel Zaman Hipotezi, yani ETH için bildirdiği sonuç bu soruya uzanıyor. Şirket, Boolean formüllerin sağlanabilirliğiyle ilgili hipotezi çürüten AI çıktısı ve Lean biçimselleştirmesi yayımladığını açıklıyor.
Bir varsayım başka sonuçlara dayanak oluyor
ETH, birçok alanda belirli problemlerin hesaplama güçlüğünü koşullu olarak anlatmak için kullanılıyor. Bu nedenle hipotez hakkındaki yeni bir sonuç, yalnız tek problemin değil, ona dayanan ilişkilerin de yeniden incelenmesini gerektiriyor.
Dış araştırma grubu ne yapacak?
Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams’ın yönlendirdiği grup sonucu inceleyip açıklamak üzere çalışacak. OpenAI, doğal dilde metni ve Lean kaydını açık deposunda sunuyor. Duyuruya göre grubun katılımı bağımsız; sonuçları kendi değerlendirmelerini yansıtacak.
Teoriyle çalışan uygulama arasında ayrı iş var
Bir hesaplama sınırının değişmesi, hangi algoritmaların mümkün olabileceğine ilişkin araştırmayı açar. Kullanılabilir yazılıma ulaşmak ise algoritma tasarımı, sabit maliyetler ve gerçek iş yükleri üzerinde ayrıca çalışma gerektirir. Duyuru da bu sonraki araştırma alanını ayırıyor.
Ivy’nin değerlendirmesi
İlginç olan, yöntemin içindeki ayrıntı. Böyle bir açıklamada yalnız sonuç cümlesi değil, hangi önermenin hangi biçimde ifade edildiği önem taşır. Açık malzeme ve bağımsız açıklama süreci, bu bağlantıları izlemek için ortak bir çalışma zemini sağlar.
