OpenAI, modelinin Üstel Zaman Hipotezi'ni çürüttüğünü öne sürdü

OpenAI pazartesi günü, şirket içindeki bir modelin yüzlerce bilgisayar bilimi makalesinin dayandığı Üstel Zaman Hipotezi'ni (ETH) çürüttüğünü duyurdu. Şirket aynı gün biri matematik, diğeri fizik alanında iki sonuç daha açıkladı.

ETH, P ve NP sorusuyla yakından bağlantılı Boole sağlanabilirlik probleminin ne kadar zor çözüldüğüyle ilgili. Araştırmacılar bu hipotezi, çizge kuramı, hesaplamalı biyoloji, veritabanları ve diğer alanlardaki problemlerin hızlı çözülemeyeceğini göstermek için kullanıyor. OpenAI'a göre model çürütmeyi 16 Ekim'de buldu, şirket de ertesi gün sonucu, ispatları makineyle doğrulayan Lean dilinde denetledi. Modelin yazısı ve Lean ispatı GitHub'da yayımlandı.

Hipotezin sahipleri inceleyecek

UC San Diego'dan Russell Impagliazzo ve Ramamohan Paturi ile MIT'den Ryan Williams'ın başında olduğu bir grup sonucu denetleyip açıklayacak. ETH'yi ilk olarak Impagliazzo ve Paturi, Francis Zane ile birlikte önermişti. Üç araştırmacı açık mektupta, katılımlarının "iddianın onaylanması olarak görülmemesi" gerektiğini yazdı. Williams, grubun gizlilik sözleşmesi imzalamadığını ve ücret almayacağını söyledi. Grup, OpenAI'dan tüm ham verilerin paylaşılmasını ve araştırma topluluğu için bir konferansın finanse edilmesini istedi; Williams ve OpenAI şirketin ikisini de kabul ettiğini belirtiyor.

Matematik ve fizik sonuçları

Matematikte OpenAI, modellerinin Christopher Sogge'un 1991'de önerdiği yerel düzleştirme varsayımını her boyutta kanıtladığını söylüyor. Bu, Kakeya varsayımını ve Stein'ın kısıtlama varsayımını da tüm boyutlarda çözmüş olacak. Yerel düzleştirme iki boyutta 2019'da, Kakeya ise üç boyutta 2025'te kanıtlanmıştı.

Fizikte şirket, modellerinin bazı kuantum alan kuramlarının dört boyutta var olduğuna dair titiz bir ispat ürettiğini öne sürüyor; bunlar arasında kuarklar ve gluonlar arasındaki güçlü kuvveti tanımlayan kuantum renk dinamiği de var. Çalışma, Clay Matematik Enstitüsü'nün Milenyum Ödülü problemlerinden birinin parçası olan saf Yang-Mills kuramının varlığının ispatını içeriyor. Nobel ödüllü David Gross'un başkanlık ettiği; Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov'un yer aldığı grup, yapay zekâ üretimi materyali şimdilik yayımlamamayı seçti ve çalışmayı kendisi yazacak.

Akademik itibar sorusu

OpenAI akademik itibar beklemediğini, her gruptaki araştırmacıların yazacakları açıklamalar için takdir görmesi gerektiğini söylüyor. Şirket ayrıca yapay zekâ üretimi sonuçlara yönelik çalıştay ve konferanslar için Simons Vakfı'na 5 milyon dolar bağışladı. Üç bilgisayar bilimcisi, sonuçları önce yapay zekâ bulduğunda itibarın nasıl işleyeceğini soruyor ve takdirin ilk yayımlayana ya da en güçlü araçlara sahip olana gidip doğrulama ve açıklamanın daha az karşılık görmesinden endişe ediyor. "İddia doğruysa, kuramsal bilgisayar biliminin önemli bir bölümünü değiştirecek" diye yazdılar.