PSI kuantum hesaplama problemine kanıt sundu; geliri veri merkezi araçlarından

Physical Superintelligence (PSI), yapay zekâ araştırma sistemiyle kuantum hesaplamanın zor problemlerinden Aaronson-Ambainis varsayımına ilişkin bir kanıt sundu. Şirketin mevcut gelir kaynağı teorik fizik araştırmaları değil, veri merkezi optimizasyon araçları.

TechCrunch, PSI Üst Yöneticisi Matt Pines ile araştırmacı David Turturean’la yaptığı görüşmelere dayanarak şirketin veri merkezlerindeki ısı, elektrik, su ve gürültü koşullarını analiz eden araçlardan gelir elde ettiğini bildirdi. Pines, teorik fizikteki keşifleri gerçek teknolojilere dönüştürmeyi uzun vadeli hedef olarak tanımladı.

PSI, eylülde kuruluşunu duyururken temel platformu Emmy’yi karasal ve yörüngedeki veri merkezlerini optimize etmek için kullanmayı planladığını açıkladı. Şirket, bu kanıtın gelire ya da veri merkezi müşterilerinde ölçülen sonuçlara dönüştüğünü gösteren herhangi bir rakam paylaşmadı.

Aaronson-Ambainis varsayımı, ayrık küp üzerinde tanımlanmış sınırlı dereceli polinomların varyansı belirli bir seviyenin üzerindeyse, sonucu önemli ölçüde etkileyen bir girdi değişkeninin bulunduğunu öne sürüyor. Başka bir deyişle, tek bir girdi değişkeninin sonucu ne kadar etkileyebileceğini ele alıyor.

Varsayım, rastgele girdilerle yürütülen evet-hayır sorgu problemlerinde kuantum bilgisayarların, klasik bilgisayarlara kıyasla girdileri okuma sayısını üstel ölçüde azaltıp azaltamayacağı sorusuyla bağlantılı. Bu sonuç, söz konusu belirli sorgu problemlerini kapsıyor.

PSI, kendi araştırma sisteminin kanıtı oluşturmak için Anthropic’in kamuya açık olmayan bir modelinden yararlandığını duyurdu. Sistem, araştırmaya başladıktan sonraki üçüncü günde eksiksiz bir kanıt üretti; Lean kanıt doğrulama programı da kanıtı kabul etti.

Şirket, sonucu daha sonra iki kez iyileştirdiğini ve son sürümün de Lean denetimini geçtiğini belirtti. David Turturean’ın makalesi arXiv’de yayımlandı; kanıt kodu ise GitHub deposunda erişime açıldı.

PSI, varsayımı 2008’den beri çözülemeyen bir problem olarak tanımladı. Varsayımı ortaya atan Scott Aaronson ile Andris Ambainis’in ilk makalesi 2009’da arXiv’de yayımlandı.

Aaronson, 8’inde blogunda kanıtı henüz kendisinin doğrudan anlayamadığını, ancak “kanıtın doğru olduğuna inandığını” yazdı. Lean doğrulamasını ve uzmanların inceleme görüşlerini bu güvenin dayanakları olarak gösterdi.

TokenPost daha önce PSI’nin varsayımın kanıtını duyurma sürecini ve Aaronson’ın kanıta güvendiğini açıklamasını haberleştirmişti.

Aaronson, sonucu kuantum bilgisayarların tüm üstünlüğünü geçersiz kıldığı şeklinde yorumlamaya da karşı çıktı. Bunun Shor algoritmasının ya da kuantum fiziği ve kimya simülasyonlarının başarısını çürüten bir sonuç olmadığını söyledi.

PSI’nin açıklamasına göre Stanford’daki araştırmacılar kanıtı okuyup görüşlerini iletti; şirket ayrıca uzmanlara yönelik bir açıklama hazırlıyor. Biçimsel doğrulama ile araştırmacı incelemesi, kanıtın değerlendirilmesinde farklı roller üstleniyor.

Pedro Domingos, X’te bu sonucun kuantum üstünlüğü olasılığını sona erdirdiği yönünde bir iddiada bulundu. Aaronson ise bunu abartılı bir yorum olarak nitelendirdi.

TechCrunch, PSI’nin Anthropic’in Fable 5.2 modeline erken erişim sağlayarak bu modeli kullandığını bildirdi. PSI’nin açıklamasında modelin adı verilmedi ve yalnızca “Anthropic’in kamuya açık olmayan bir modeli” ifadesi kullanıldı. Anthropic, 9’unda Claude Fable 5.2’yi kamuya duyurdu.

Makalenin ve kanıt kodunun yayımlanmış olması, ayrıca kanıtın Lean denetimini geçmesi, akademik dergi hakem değerlendirmesinin tamamlandığı anlamına gelmiyor. Hakem değerlendirmesinin tamamlanıp tamamlanmadığı doğrulanmadı.