OpenAI Üç Yapay Zeka Araştırma Sonucunu Açıkladı: ETH Çürütüldü, Kuantum Alan Teorisi Doğrulandı, Asılı Vadi Sanısı Çözüldü mü?

Yazar: OpenAI

Derleyen: Jiahua, ChainCatcher

26 Ekim'de OpenAI, dahili modeli tarafından üretilen ve bilgisayar bilimi, fizik ve matematiği kapsayan üç araştırma sonucunu yayımladı.

Bu sonuçlar, ilgili alanlardaki uzun süredir devam eden temel sorulara değiniyor. OpenAI, model tarafından üretilen belgeleri "ham araştırma verileri" olarak adlandırıyor ve akademik topluluğu daha fazla doğrulama, yorumlama ve takip araştırması yapmaya davet ediyor.

Bilgisayar Bilimi: ETH Çürütüldü mü?

OpenAI, sisteminin Üstel Zaman Hipotezi'nin (ETH) yanlış olduğunu kanıtladığını ve sonucun daha sonra Lean'de doğrulandığını belirtti.

Buradaki ETH, Ethereum'u değil, bilgisayar bilimindeki Üstel Zaman Hipotezi'ni ifade ediyor.

ETH (Üstel Zaman Hipotezi), bilgisayar biliminde "kötümser bir varsayımdır": belirli bir mantıksal problem sınıfı için, algoritma ne kadar geliştirilirse geliştirilsin, en kötü durumda zaman tüketimi problem boyutuyla birlikte patlayıcı bir şekilde artar; gerçek bir kısayol yoktur.

Bu nedenle, ETH'nin çürütülmesi "bu görevlerin gerçekte ne kadar hızlı tamamlanabileceği" sorusunu yeniden gündeme getiriyor ve daha iyi algoritmalar aramak için yön sağlayabilir. OpenAI ayrıca, bu tür algoritmaları bulmanın ve teorik ilerlemeyi pratik iyileştirmelere dönüştürmenin kapsamlı takip araştırması gerektirdiğini belirtti.

Kripto para alanındaki okuyucular için daha doğrudan soru şudur: Bu, mevcut kriptografik sistemleri etkiler mi? Birçok kriptografik şemanın güvenliği, belirli hesaplama problemlerinin zorluğuna dayanır. MIT profesörü Ryan Williams, OpenAI'den ilgili etkileri kontrol etmesini istemişti. Ona göre OpenAI kontrolü gerçekleştirdi ve sonucun mevcut kriptografik sistemlerin tehdit altında olduğu anlamına gelmediğine dair makul bir güvene sahip.

Fizik: Kuantum Alan Teorisine "Temel" Sağlamak

Fizikçiler parçacık dünyasını tanımlamak için kuantum alan teorisini kullanır; tahminleri son derece hassastır, ancak matematiksel temeli titiz değildir.

OpenAI, modelin saf Yang-Mills teorisi, kuantum renk dinamiği (QCD, kuarklar ve gluonlar arasındaki güçlü kuvveti tanımlar) ve standart model ayar alanlarını içeren büyük birleşik teoriler için titiz "varoluş" kanıtları sağladığını belirtti. Basitçe söylemek gerekirse, onlarca yıldır kullanılan bir teoriye matematiksel temel sağladı.

Şu anda yalnızca Yang-Mills kısmı Lean'de doğrulandı; QCD kısmı duyuruda belirtilmedi. Yapay zeka tarafından üretilen ham kanıt henüz kamuya açıklanmadı çünkü Nobel ödüllü David Gross liderliğindeki bir grup bunu inceliyor; kendi belgelerini yazacaklar, bu nedenle dış doğrulama şu an için mümkün değil.

Matematik: Dalga Odaklanması ve "İğne Problemi"

OpenAI, modelinin tüm boyutlarda yerel düzgünlük varsayımını kanıtladığını ve böylece tüm boyutlarda Asılı Vadi varsayımını ve Stein kısıtlama varsayımını çözdüğünü belirtti.

Yerel düzgünlük varsayımı, 1991 yılında Sogge tarafından ortaya atıldı ve dalgaların odaklanma davranışını inceler. Su dalgalarıyla sezgisel bir benzetme yapılabilir: birkaç dalgacık aynı konuma doğru yayılır; belirli bir anda üst üste binerek çok yüksek bir tepe oluşturabilirler. Ancak o andaki yoğunluk, tüm süre boyunca ortalama performansı doğrudan temsil etmez.

Yerel düzgünlük varsayımı, bu anlık aşırı davranış ile zaman ortalaması arasındaki ilişkiyi kesin matematiksel tahminlerle tanımlamayı amaçlar. Bu olgu temel öneme sahip olduğundan, kanıtlanması Asılı Vadi varsayımı ve Stein kısıtlama varsayımı dahil diğer matematiksel problemleri de etkileyecektir.

Asılı Vadi varsayımı "iğne problemi" ile anlaşılabilir: Uzayda aynı uzunlukta, sonsuz incelikte birçok iğne yerleştirildiğini ve her yönde en az bir iğne bulunduğunu hayal edin. Bu iğneler ötelenebilir ve üst üste binebilir. Oluşturdukları küme ne kadar küçültülebilir?

Burada "boyutu" ölçmenin anahtarı matematiksel boyuttur. Üç boyutlu uzayda Asılı Vadi varsayımı, böyle bir kümenin tam üç boyutluluğa sahip olması gerektiğini; daha yüksek boyutlu uzaylarda da karşılık gelen tam boyuta sahip olması gerektiğini öne sürer. Boyut ve hacim farklı kavramlardır, bu nedenle bu iğnelerin kaç metreküp kapladığı şeklinde basitçe anlaşılamaz.

Daha önce, iki boyutlu yerel düzgünlük (2019) ve üç boyutlu Asılı Vadi varsayımı (2025, Wang Hong ve Zahl) kanıtlanmıştı. OpenAI'nin bu kez açıkladığı sonuç, yerel düzgünlük varsayımının kanıtını tüm boyutlara taşıyarak ilgili varsayımların tüm boyutlardaki sonuçlarını elde ediyor.

OpenAI, yukarıdaki sonuçlarla ilgili olarak, dahili modeli tarafından üretilen keşifler için akademik itibar talep etmediğini; araştırmacıların sonuçları anlama, belgeleri yazma ve materyalleri hazırlama konusundaki katkılarının tanınması gerektiğini belirtti.

Şirket ayrıca, Simons Vakfı'na 5 milyon dolar bağış yapacağını daha önce duyurduğunu belirtti. Bu fon, vakıf tarafından yönetilip dağıtılacak ve araştırmacıların yapay zeka tarafından üretilen sonuçları anlamalarına ve bunlara dayalı araştırma yapmalarına yardımcı olmak için çalıştaylar, akademik konferanslar ve özel projeler için kullanılacak.