OpenAI, modellerinin yerel yumuşatma varsayımını kanıtladığını, Exponential Time Hypothesis'ı çürüttüğünü ve Yang–Mills teorisinin varlığını kanıtladığını söylüyor

OpenAI, modellerinin matematik, bilgisayar bilimi ve fizikte ürettiği üç sonucu duyurdu. Aşağıdakilerin tümü OpenAI'nin kendi iddiasıdır; henüz hiçbiri bağımsız olarak doğrulanmadı ve OpenAI, sonuçların Lean'de kontrol edildiğini söylüyor.

• Matematik (harmonik analiz). OpenAI, modellerinin yerel yumuşatma varsayımını her boyutta kanıtladığını ve bunun yeni bir yardımcı kısmi diferansiyel denklem aracılığıyla Kakeya varsayımını ve Stein'ın kısıtlama varsayımını da tüm boyutlarda çözdüğünü söylüyor. Modellerin doğal dildeki açıklamasını ve Lean ispatını, 6 Ekim'deki paylaşımındaki yaklaşımı izleyerek herkese açık openai/math GitHub deposunda yayımladı.
• Bilgisayar bilimi. OpenAI, sisteminin Boole formülü doyurulabilirliğinin karmaşıklığına ilişkin bir varsayım olan Exponential Time Hypothesis'ı (ETH) çürüttüğünü ve bu çürütmenin Lean'de doğrulandığını söylüyor. ETH'yi Francis Zane ile birlikte öne süren Russell Impagliazzo ve Ramamohan Paturi ile Ryan Williams, sonucu doğrulayıp açıklamak üzere bir gruba liderlik edecek. Grubun isteği üzerine OpenAI, doğal dildeki ispatı ve Lean biçimselleştirmesini kamuya açtı.
• Fizik. OpenAI, modellerinin ayar alanları ve fermiyonlar içeren belirli dört boyutlu etkileşimli kuantum alan teorilerinin (QCD ve Standart Model'in birleşik bir tamamlaması da dahil) varlığına ilişkin matematiksel açıdan titiz bir ispat ürettiğini ve bir alt problem olarak, Clay Matematik Enstitüsü'nün Milenyum Ödülü Problemi'nin bir parçası olan saf Yang–Mills teorisinin varlığını kanıtladığını söylüyor. İspatların Lean'de biçimsel olarak doğrulandığını belirtiyor. David Gross'un liderliğindeki; Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov'ın yer aldığı bir grup çalışmayı yönlendirecek ve OpenAI, materyalleri yayımlama kararını onlara bırakacak.

OpenAI, makaleleri "ham araştırma verisi" olarak nitelendiriyor ve dış uzmanlardan rehberlik etmelerini istediğini, bu uzmanların her sonuç için farklı bir yayımlama stratejisi önerdiğini söylüyor. Çalışmalar için şu tarihleri veriyor: yerel yumuşatma çıktısı 18 Ekim'de (ertesi gün Lean'de biçimselleştirildi), ETH çürütmesi 16 Ekim'de (17 Ekim'de biçimselleştirildi) ve Yang–Mills varlık ispatı 9 Eylül'de (QCD 18 Eylül'de; Yang–Mills'in Lean biçimselleştirmesi 16 Ekim'de tamamlandı). Fizik grubu, iletişimin özel bir e-posta adresine gönderilmesini istiyor ve çalışmayı kendisi yazarken yapay zekânın ürettiği materyalleri şimdilik yayımlamamaya karar verdi.

OpenAI, iş birliklerinin dört ilkeyi izlediğini söylüyor: şeffaflık (gizlilik sözleşmesi yok), OpenAI'nin akademik itibar talep etmemesi, grupların takdir görmesi ve bağımsızlık (katılım gönüllü ve ücretsiz; üyeler yalnızca kendi adlarına konuşuyor). ETH sonucu üzerine bir konferansı finanse edeceğini belirtiyor ve yapay zekâ tarafından üretilen sonuçlara ilişkin atölye çalışmaları ve programlar için Simons Foundation'a yaptığı yakın tarihli 5 milyon dolarlık katkıya işaret ediyor. Ayrıca GitHub deposunda küçük değişiklikler yaptı; bunlar geçmiş dosyasında listeleniyor. X'teki duyuru dizisi, 26 Ekim akşamı itibarıyla X'te 405 puan ve 30 yorum almıştı.