PSI, Anthropic destekli yapay zekanın kuantum varsayımını kanıtladığını duyurdu

Fizik odaklı bir yapay zeka girişimi olan Physical Superintelligence (PSI), 6 Kasım Cuma günü, oluşturduğu bir araştırma sisteminin 2008'den beri açık olan bir kuantum karmaşıklığı problemi olan Aaronson-Ambainis varsayımını, halka açık olmayan bir Anthropic modeli kullanarak kanıtladığını duyurdu. Şirket, sistemin kendi altyapısında çalıştırılmasının üçüncü gününde tam bir kanıta ulaştığını ve Lean kanıt asistanının bunu kabul ettiğini belirtti. Sonuç henüz akademik hakem değerlendirmesinden geçmedi. Şimdilik bu bir şirket iddiası olsa da, makale ve makine tarafından kontrol edilen kanıt herkese açık durumda, bu sayede dış uzmanlar sistemi test edebiliyor.psi.inc

Kanıt neyi iddia ediyor

Varsayım, kuantum bilgisayarların, Shor'un çarpanlara ayırma yöntemi gibi algoritmaların kullandığı gizli kalıpları neredeyse hiç içermeyen rastgele girdiler üzerinde sıradan bilgisayarlardan üstel olarak daha hızlı olup olamayacağını sorguluyor. Aaronson ve Ambainis, sınırlı düşük dereceli polinomlar hakkındaki ifadelerinin doğru olması durumunda, rastgele girdiler üzerindeki kuantum hızlanmalarının en fazla polinom düzeyinde olacağını gösterdiler. PSI'ın duyurusu sonucu şu şekilde çerçeveledi: "dize nadir bir kalıba sahip olmadıkça, bir kuantum bilgisayar üstel olarak çok sayıda aramadan tasarruf edemez". Teorem, toplam işlem süresini değil, bir algoritmanın girdisini kaç kez okuduğunu sınırlıyor, bu da pratik kuantum avantajları için alan bırakıyor.thequantuminsider.com+1

İlk kanıt daha zayıf bir sınır vermişti. PSI sistemi ilgili açık problemler üzerinde çalıştırdıktan sonra, sonucu iki kez iyileştirdi ve Lean nihai sürümü kabul etti. Argüman, Shachar Lovett ve Jiapeng Zhang'in planını izliyor. Onların varsayım olarak bıraktığı bir eşitsizliği, girdi ayarlarını bir determinant aracılığıyla eşleştirerek kanıtlanan yeni bir eşitsizlikle değiştiriyor.psi.inc

İnsan rolleri ve kontroller

PSI çalışanı David Turturean sistemi kurdu ve çalıştırdı, modeli makaleyi taslak haline getirmesi için yönlendirdi ve doğruluğundan sorumlu. Danışmanlar Jim Halverson ve Phiala Shanahan kanıtı denetledi ve biçimlendirme hakkında yorum yaptı. Projenin GitHub deposu, kanıtın, makalenin ve biçimlendirmenin yapay zeka modelleri tarafından üretildiğini belirtiyor. Ayrıca Lean teoremlerinin yer tutucu veya ek aksiyom içermediğini ve iki bağımsız çekirdek uygulaması tarafından yeniden kontrol edildiğini ifade ediyor. Okuyucuların yine de biçimsel ifadenin orijinal varsayımla eşleştiğini doğrulaması gerekiyor.github.com+1

Stanford araştırmacıları Guy Blanc, Jordan Docter, Carmen Strassle ve Li-Yang Tan, Ağustos ayında özel bir durumu çözdüler. Tam kanıtı okuyorlar ve PSI tarafından yayınlanan bir açıklamada, "her şeyin oldukça büyülü bir şekilde bir araya getirildiği" "büyük bir sonuç" olarak nitelendirdiler.psi.inc

Cevaplanmamış sorular

PSI hangi Anthropic modelini kullandığını açıklamadı ve Anthropic yorum talebine yanıt vermedi. Bu duyuru, OpenAI'ın Eylül ayında Navier-Stokes denklemlerini içeren bir problemi çözdüğüne dair iddiasının ardından geldi ve yapay zekanın matematikçilerin kariyerleri için ne anlama geldiğine dair tartışmalara katkıda bulunuyor.businessinsider.com