OpenAI, modellerinin Üstel Zaman Hipotezi'ni çürüttüğünü ve temel dalga denklemlerini çözdüğünü öne sürerek iki çalışmayı GitHub üzerinde paylaştı.
Üç noktada haber
OpenAI, modellerinin elde ettiği sonuçlar için herhangi bir akademik hak talep etmeyeceğini açıkladı.
Üstel Zaman Hipotezi'ne yönelik iddiayı incelemek üzere hipotezi 1999'da ortaya koyan araştırmacıların da yer aldığı bağımsız bir heyet görevlendirildi.
Matematik ve bilgisayar bilimi çıktıları GitHub üzerinden kamuoyuna açılırken kuantum fiziği çalışmasının paylaşımı ilgili uzman grubuna bırakıldı.
OpenAI, yapay zekâ modellerinin matematik, bilgisayar bilimi ve kuramsal fizik alanlarında temel teoremlere yönelik çözümler geliştirdiğini öne sürdü. Şirket, yüzlerce matematiksel problemin çözümünü yayımlamasının ardından kapsamı genişleterek bilgisayar bilimindeki Üstel Zaman Hipotezi ve dalga denklemleri üzerine iki yeni çalışmayı GitHub üzerinden kamuoyuna açtı. Modellerin ürettiği sonuçların doğrulanması için alanında tanınan dış araştırmacılardan oluşan bağımsız çalışma grupları görevlendirildi.
Duyuruda öne çıkan en kritik başlıklardan birini, bilgisayar teorisinin köklü kabullerinden Üstel Zaman Hipotezi'nin (ETH) çürütüldüğü yönündeki iddia oluşturuyor. OpenAI tarafından paylaşılan makale, sabit genişlikteki CNF formüllerini sağlayan atamaları alt-üstel zaman ve polinomiyal alan karmaşıklığında sayan deterministik bir algoritma sunulduğunu savunuyor. Söz konusu algoritmanın 3-SAT problemine uygulanmasının hipotezi geçersiz kıldığı öne sürülürken, bu sonucu incelemek üzere 1999 yılında hipotezi formüle eden Russell Impagliazzo ve Ramamohan Paturi ile Ryan Williams liderliğinde bir heyet görev yapıyor.
Matematik alanında paylaşılan diğer çalışma ise iki ve daha yüksek uzaysal boyutlarda dalgalar için Sogge'nin yerel düzleştirme varsayımının ortaya konduğunu ileri sürüyor. Şirket, bu ispatın geometrik ölçü teorisindeki Kakeya varsayımını da tüm boyutlarda kapsadığını iddia ediyor. Kakeya varsayımının üç boyuttaki çözümünün kısa süre önce Fields Madalyası getirdiği bilinirken, OpenAI modelinin problemi tüm boyutlarda genelleştirdiği öne sürülüyor. Modellerin bu alandaki ham çıktıları araştırmacıların doğrudan incelemesine sunulmuş durumda.
Fizik alanındaki sonuçlar ise dört boyutta ayar alanları ve fermiyonlar içeren etkileşimli kuantum alan teorilerinin varlığına dair matematiksel ispat iddialarını kapsıyor. David Gross, Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov'dan oluşan uzman heyeti bu konudaki materyalleri incelemeyi sürdürürken, henüz kamuya açık bir belge yayımlanmadı. OpenAI, modellerin bulguları için herhangi bir akademik pay aramayacağını, katkı hakkının materyalleri hazırlayan uzmanlara ve modellerin faydalandığı fikirlerin asıl sahiplerine verileceğini duyurdu.
Neden önemli?İddiaların bağımsız uzmanlarca doğrulanması durumunda teorik bilgisayar bilimi, kuantum fiziği ve algoritma tasarımında uzun yıllardır süren temel kabuller kökten değişebilir.
Cevabı beklenen sorular
- Bağımsız uzman heyetlerinin yürüttüğü incelemeler sonucunda modellerin sunduğu matematiksel ve algoritmik ispatların geçerliliği teyit edilecek mi?
- Fizik alanındaki dört boyutlu kuantum alan teorisi bulguları uzman heyeti tarafından ne zaman kamuoyuyla paylaşılacak?
Kaynaklar ve belgeler
Bu haberde kullanılan belgelere aşağıdaki bağlantılardan ulaşabilirsiniz.
