OpenAI, matematik, bilgisayar bilimi ve fizik alanlarında önemli teorik sonuçlar elde ettiğini öne sürdü. Şirketin duyurduğu iddialar arasında Üstel Zaman Hipotezi’nin (ETH) çürütülmesi, bazı matematiksel tahminlerin tüm uzaysal boyutlarda kanıtlanması ve kuantum alan teorilerine ilişkin bir varlık ispatı bulunuyor.
OpenAI, matematikte yüzlerce çözüm paylaştığı duyurusunun üzerinden henüz bir ay geçmeden, temel bilimlere uzanan üç yeni çalışma açıkladı. Şirket, bilgisayar bilimi ve fizikteki çalışmaların ilerlemesine rehberlik etmeleri için bağımsız uzmanlarla çalıştığını bildirdi. Matematik çalışmasına ait model çıktısı ise araştırmacıların inceleyebilmesi ve kendi açıklamalarını geliştirebilmesi amacıyla GitHub’da yayımlandı.
ETH’nin çürütüldüğü ileri sürülüyor
OpenAI’ın bilgisayar bilimi alanındaki çalışması, teorik bilgisayar biliminin temel kabullerinden Üstel Zaman Hipotezi’ne meydan okuyor. Şirketin makalesinde, sabit genişlikteki CNF formüllerini sağlayan atamaları alt-üstel zamanda ve polinomiyal alan karmaşıklığıyla tam olarak sayabilen deterministik bir algoritma sunulduğu belirtiliyor. OpenAI, bu yöntemin 3-SAT problemine uygulanmasının ETH’yi çürüttüğünü iddia ediyor.
İddianın değerlendirilmesi için, hipotezi 1999’da ortaya atan araştırmacılar arasında bulunan UC San Diego’dan Russell Impagliazzo ve Ramamohan Paturi ile MIT profesörü Ryan Williams’ın liderlik ettiği bağımsız bir çalışma grubu görevlendirildi. Grubun isteği üzerine OpenAI, modelin çıktısını ve Lean dilinde hazırlanmış biçimsel ispatı GitHub’da kamuya açtı.
Matematikte tüm boyutları kapsayan sonuç iddiası
Matematik alanındaki çalışmada OpenAI, yardımcı bir kısmi diferansiyel denklemden yararlanarak iki ve daha yüksek tüm uzaysal boyutlarda dalgalar için Sogge’nin yerel düzleştirme durumunu kanıtladığını öne sürüyor. Şirket ayrıca ispatın Kakeya maksimal ve boyut varsayımlarını, bunun yanı sıra Stein’ın küresel kısıtlama tahminlerini tüm boyutlarda çözdüğünü iddia ediyor.
Kakeya varsayımı, birim uzunluğundaki bir iğnenin her yöne döndürülebildiği en küçük alan ya da hacmin geometrisini ele alıyor. Kaynakta aktarılan bilgilere göre NYU profesörü Hong Wang, Kakeya varsayımını üç boyutta çözmesi nedeniyle birkaç ay önce Uluslararası Matematik Birliği tarafından Fields Madalyası’na layık görülmüştü. OpenAI’ın iddiası ise çözümün tüm boyutları kapsadığı yönünde.
Fizik çalışmasının tüm ayrıntıları paylaşılmadı
OpenAI, fizik çalışmasına ilişkin verilerin tamamını henüz yayımlamadı. Mevcut açıklamaya göre çalışma, dört boyutta ayar alanları ve fermiyonlar içeren etkileşimli kuantum alan teorilerinin varlığı için matematiksel olarak kesin bir ispat sunuyor. Sonucun Kuantum Renk Dinamiği’ni ve parçacık fiziğinin Standart Modeli için birleşik bir tamamlamayı içerdiği öne sürülüyor.
Çalışmada David Gross’un liderliğinde Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov’dan oluşan uzman heyet yer aldı.
