2008’den beri kuantum karmaşıklık kuramının açık problemlerinden biri olan Aaronson-Ambainis varsayımı, Physical Superintelligence (PSI) bünyesinde geliştirilen bir araştırma sistemi tarafından kanıtlandı. Kanıt, PSI’nin kendi altyapısında çalışan ve kamuya kapalı olan bir Anthropic modeli kullanılarak üretildi. Bu gelişme, kuantum bilgisayarların temel bir sorusuna yanıt veriyor: Yapısal düzensizliğe sahip rastgele girdileri işlerken klasik bilgisayarlardan üstel ölçüde daha hızlı olabilirler mi? Sistem üç gün içinde tam bir kanıt üretti ve bu kanıt, her mantıksal adımı doğrulayan Lean adlı biçimsel ispat yardımcısı ile denetlendi. Devamında…

Konular: Kuantum Bilgisayarlar, Matematiksel İspatlar ve Yapay Zekâ Araştırmaları

SiteM’de tam özet, flashcard ve quiz →

Orijinal kaynak: psi.inc

Kaynak: sitem.co — paylas.io yer imi / keşif katmanı.