OpenAI, matematik, bilgisayar bilimi ve fizik alanlarında üç büyük bilimsel keşif yaptığına dair duyurdu: Harmonik analizdeki Kakeya sanısının kanıtı, hesaplama karmaşıklık teorisindeki üssel zaman hipotezinin (ETH) çürütülmesi ve dört boyutlu kuantum alan teorisinin (QCD ve standart model dahil) varlığının katı kanıtı.Yazan: AIBase
Son zamanlarda OpenAI, yapay zekâ modelinin matematik, bilgisayar bilimi ve fizik alanlarında sırasıyla harmonik analiz, hesaplama karmaşıklık teorisi ve kuantum alan teorisi ile ilgili üç büyük bilimsel keşif yaptığına resmi olarak duyuru yaptı. Bu öncü orijinal verileri gerçek bilimsel anlayışa dönüştürmek için OpenAI, dış akademik topluluklarla derin iş birliği yapmanın yeni bir modelini denedi ve farklı alanlardaki başarılar için çeşitli yayın stratejileri belirledi.
Harmonik analiz alanında, model her boyut için yerel pürüzsüzlük (local smoothing) sanısının kanıtını başarıyla vererek, tüm boyutlarda matematik dünyasının Kakeya sanısı ve Stein sınırlama sanısını doğrudan çözmüştür. Yeni kanıt, yenilikçi bir yardımcı kısmi diferansiyel denklem üzerine kuruludur. OpenAI, model tarafından oluşturulan AI doğal dil çıktısı raporunu ve Lean kanıtını açık GitHub deposunda yayınlamıştır.
Bilgisayar bilimi alanında, P vs. NP sorunuyla yakından ilişkili ve daha önce yüzlerce makale tarafından koşullu hesaplama zorluğu çıkarımlarında yaygın olarak kullanılan uzun süredir doğru kabul edilen ETH varsayımı yanlış olarak kanıtlandı. Bu sonuç Lean içinde doğrulandı. Çalışma, Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams liderliğindeki önde gelen bir uzman ekibi tarafından doğrulanmak ve rehberlik altında tutulmak üzere gönderildi; ilgili sonuçlar ve Lean formel kanıtı aynı anda GitHub deposunda yayınlanmıştır.
Fizik alanında, modeller, dört boyutlu uzayda ölçü alanları ve fermiyonlar içeren bazı etkileşimli kuantum alan teorilerinin (kuantum kromodinamik QCD ve parçacık fiziğinin standart modelinin birleştirilmiş tamamlanması dahil) matematiksel olarak katı varlık kanıtlarını sunar; bu da saf Yang–Mills teorisinin varlığının kanıtlanmasını alt soru olarak içerir ve bu, Clay Matematik Enstitüsü'nün Yüzyılın Ödüllü Sorunları'nın bir parçasıdır. Bu karmaşık çalışma, David Gross liderliğindeki bir fizikçi ekibi (Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov dahil) tarafından ortaklaşa ilerletilmiştir.
Önemli başarıları akademik bağımsız inceleme ve derinlemesine tartışmaya tam olarak desteklemek amacıyla OpenAI, ilgili seminerler, konferanslar ve özel projeleri finanse etmek için Simons Vakfı'na 5 milyon dolar bağışta bulunmuştur. Bu adımlar, AI'nın temel bilimsel araştırma öncü alanlarındaki büyük potansiyelini göstermenin yanı sıra, modern teorik fizik ve matematiğin daha yüksek standartlara doğru hızla ilerlediğini işaret etmektedir.