Yapay zeka modellerinin bilimsel araştırmalardaki rolü uzun süredir tartışılırken, OpenAI cephesinden gelen son hamle çalışmaların boyutunu doğrudan temel bilimlerin kalbine taşıdı. Şirket; matematik, bilgisayar bilimi ve fizik alanlarında büyük olarak nitelendirdiği üç yeni iddiayı kamuoyuyla paylaştı.
Duyurunun en dikkat çeken yönlerinden biri, bilgisayar bilimi ve fizikteki çıktıları yönlendirmesi için bağımsız dış uzmanların görevlendirilmesi oldu. Matematik kanadında ise modelin çıktısı, araştırmacıların kendi açıklamalarını geliştirebilmesi amacıyla doğrudan GitHub üzerinden paylaşıldı.
OpenAI'ın paylaştığı makaleye göre, bilgisayar teorisinin bilinen kabullerinden biri olan Üstel Zaman Hipotezi (ETH) çürütüldü. Şirket, sabit genişlikteki CNF formüllerini sağlayan atamaları alt-üstel zaman ve polinomiyal alan karmaşıklığında tam olarak sayan deterministik bir algoritma sunduğunu öne sürdü. Bu algoritmanın 3-SAT problemine uygulanmasının, uzun yıllardır kabul gören ETH'yi çürüttüğü iddia edildi.
Söz konusu iddianın incelenmesi ve doğrulanması için 1999 yılında bu hipotezi ilk ortaya atan isimler arasında yer alan UC San Diego'dan Russell Impagliazzo ve Ramamohan Paturi ile MIT profesörü Ryan Williams liderliğinde bağımsız bir çalışma grubu oluşturuldu. Çalışma grubunun talebi üzerine OpenAI, diğer araştırmacıların inceleme yapabilmesi için model çıktısını ve Lean dilindeki biçimsel ispatı GitHub üzerinden kamuoyuna açtı.
Açıklanan diğer iki sonuç da en az bilgisayar teorisi kadar önemli iddialar içeriyor. Matematik tarafında sunulan çalışmanın, yardımcı bir kısmi diferansiyel denklem kullanarak iki ve daha yüksek tüm uzaysal boyutlarda dalgalar için Sogge'nin yerel düzleştirme durumunu ortaya koyduğu öne sürüldü. Şirket, bu ispatın Kakeya maksimal ve boyut varsayımları ile Stein'ın küresel kısıtlama tahminlerini de tüm boyutlarda çözdüğünü savundu.
Fizik alanındaki çalışmalarda ise verilerin tamamı henüz kamuoyuyla paylaşılmadı. Mevcut bilgilere göre çalışma; dört boyutta ayar alanları ve fermiyonlar içeren etkileşimli kuantum alan teorilerinin varlığına dair matematiksel olarak kesin bir varlık ispatı sunuyor. Bu çalışmada David Gross liderliğinde Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov'dan oluşan uzman bir heyet yer aldı.
.jpg)
