OpenAI, akademik topluluklarla üç yeni bilimsel keşfi ve iş birliğini duyurdu
OpenAI, yapay zekâ destekli olarak matematik, bilgisayar bilimi ve fizik alanlarında çığır açan üç keşfi kamuoyu ile paylaştı ve bu sonuçların akademik topluluklar tarafından bağımsız olarak incelenmesi için yeni bir iş birliği modeli önerdi. Şirket, elde edilen kanıtları doğal dil açıklamaları ve Lean formalizasyonlarıyla şeffaf bir şekilde yayınlayarak araştırmacıların özgürce çalışmasını sağlayacak.
Özetle
- 1
Matematikte lokal yumuşatma konjektürünün tüm boyutlarda kanıtlanması ve Kakeya ile Stein kısıtlama konjektürlerinin çözülmesi.
- 2
Bilgisayar biliminde Exponential Time Hypothesis'in çürütülmesi, algoritma araştırmalarına yeni bir yön açması.
- 3
Fizikte dört boyutlu kuantum kromodinamik ve Standart Model'in birleştirilmiş bir tamamlamasının varlık kanıtı.
- 4
OpenAI, bu sonuçları doğal dil açıklamaları ve Lean formalizasyonlarıyla GitHub'da şeffaf bir şekilde yayınlayarak akademik iş birliğini teşvik ediyor.
- 5
İş birliği süreci şeffaflık, akademik kredi talep etmeme, katkıların tanınması ve gönüllülük temelli bağımsızlık ilkeleriyle yürütülüyor.
OpenAI, son dönemde geliştirdiği yapay zekâ modellerinin matematikte lokal yumuşatma konjektürünü tüm boyutlarda kanıtladığını, bilgisayar biliminde Exponential Time Hypothesis (ETH) varsayımını çürüttüğünü ve fizik alanında dört boyutlu kuantum kromodinamik (QCD) ve Standart Model'in birleştirilmiş bir tamamlamasını varlık kanıtı sunduğunu duyurdu. Bu üç sonuç, ilgili alanların temel varsayımlarını sarsarak yeni araştırma yönleri açıyor.
Şirket, bu sonuçların akademik topluluklar tarafından bağımsız olarak değerlendirilmesi amacıyla üç farklı yayın stratejisi belirledi. Matematiksel kanıt için sadece AI çıktısı halka sunulurken, bilgisayar bilimi sonucunda dış bir iş birliği grubu oluşturularak hem AI çıktısı hem de Lean formalizasyonu kamuya açık hale getirildi. Fiziksel kanıt ise aynı şekilde bir dış grup tarafından incelenip, materyallerin yayınlanması grup kararına bırakıldı.
İş birliği süreçleri dört temel ilkeye dayandırıldı: şeffaflık, akademik kredi talep etmeme, katkıların tanınması ve gönüllülük esasına dayalı bağımsızlık. Katılımcılar NDA imzalamadan çalışacak, elde ettikleri anlayışı ve yazıları bağımsız olarak yayınlayabilecek. Özellikle bilgisayar bilimi iş birliği, ETH'in çürütülmesinin sonuçlarını tartışmak ve potansiyel algoritmik iyileştirmeler üzerine bir konferans düzenlemek için OpenAI'nin 5 milyon dolarlık Simons Vakfı katkısını da içerecek.
Matematikte kanıt, 1991'de Sogge'in yerel yumuşatma konjektürüne dayanıyor ve bu kanıt sayesinde Kakeya ve Stein kısıtlama konjektürleri de tüm boyutlarda çözülmüş oldu. Bilgisayar biliminde, ETH'in yanlış olduğu kanıtı Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams gibi önde gelen uzmanların liderliğindeki bir grup tarafından incelenecek. Fiziksel sonuç ise David Gross, Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov gibi Nobel ödüllü ve önde gelen teorik fizikçilerin katılımıyla, dört boyutlu etkileşimli kuantum alan teorilerinin matematiksel varlığını kanıtlayacak.
Yöney yorumu
Bu gelişmeler, yapay zekânın bilimsel keşif sürecine entegrasyonu konusunda bir dönüm noktası oluşturuyor; araştırmacılar AI destekli kanıtları bağımsız olarak doğrulama fırsatı bulurken, şeffaf ve ücretsiz erişim modeli de inovasyonu hızlandırabilir.
Bu haber OpenAI kaynağından derlenip Türkçeye aktarıldı. Ayrıntılar ve orijinal metin için oka tıklayın.
