News 
Coin Information 
About us 
Add as a preferred source on Google
OpenAI, şirket içi bir yapay zekâ modelinin hesaplama karmaşıklığı alanındaki Üstel Zaman Hipotezi’ni (ETH) çürüten bir sonuç ürettiğini ve bunu Lean ile biçimsel olarak doğruladığını açıkladı. Sonuç, dış araştırmacıların incelemesini bekliyor.
OpenAI’nin resmi açıklamasına göre model, ETH’yi çürüten kanıtı 16 Ekim’de oluşturdu, 17 Ekim’de ise Lean ile biçimselleştirdi. ETH, Boole formüllerinin tatmin edilebilirliği problemi de dahil olmak üzere hesaplama problemlerinin zorluğuna ilişkin bir hipotez. Çeşitli alanlardaki araştırmalarda hesaplama zorluğuna dair bir varsayım olarak kullanılıyor.
OpenAI, Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams’ın öncülük ettiği araştırma ekibinin sonucu doğrulayıp açıklayacağını bildirdi. Şirket ayrıca matematik, bilgisayar bilimi ve fizik alanlarında üç yeni bulgu duyurdu; ETH çalışmasının kaynak materyallerini ve kanıtını da yayımladı.
Comment 0