OpenAI, Matematik, Bilgisayar Bilimi ve Fizikte 3 Yapay Zeka Araştırması Açıkladı

OpenAI, matematik, bilgisayar bilimi ve fizik alanlarında yapay zekânın ürettiği üç araştırma sonucunu kamuoyuyla paylaştı. Şirket, bu sonuçlardan biri olan üstel zaman hipotezine (ETH) karşı kanıtın Lean biçimsel doğrulamasından geçtiğini bildirdi.

OpenAI, 26 Ekim’de yayımladığı resmi açıklamada modelin ETH’yi çürüttüğünü öne sürdü. Sonuç, Massachusetts Teknoloji Enstitüsü (MIT) profesörleri Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams’ın yönettiği bağımsız bir grup tarafından incelenecek. OpenAI, doğal dildeki kanıtı yayımladığını ve topluluğun bağımsız doğrulama yapabilmesi için ilgili kaynak verileri de paylaşacağını açıkladı.

OpenAI’nin iddiasına göre model, matematik alanında tüm boyutlarda yerel yumuşatma varsayımını kanıtladı; bu sonuçla Kakeya varsayımı ve Stein kısıtlama varsayımı da çözüldü. Fizik alanında ise kuantum renk dinamiğini de kapsayan dört boyutlu kuantum alan teorilerinin varlığına ilişkin bir kanıt sundu. Bu kanıtı David Gross’un yönettiği araştırma ekibi doğrulayacak.