PSI, kuantum hesaplamadaki açık problem için yapay zekâ destekli ispat açıkladı
PSI, Aaronson–Ambainis varsayımının ispatını ve Lean ile doğrulanan kodunu yayımladığını bildirdi.
Duyuru: 6 Kasım 2026 · Kaynakta saat belirtilmiyor · Seçki: 7 Kasım 2026
Fotoğraf: Dev Jadiya · CC BY-SA 4.0 · Görüntü boyutlandırılabilir/kırpılabilir.
Physical Superintelligence (PSI), halka açık olmayan bir Anthropic modeli kullanan araştırma sisteminin Aaronson–Ambainis varsayımı için ispat bulduğunu açıkladı. Kurum, ispatın Lean ispat yardımcısı tarafından kabul edildiğini belirtiyor; makale ve kod bağlantılarını da paylaşıyor.
Neden önemli?
Sonuç, kuantum algoritmalarının rastgele girdilerde sağlayabileceği hızlanmanın sınırlarıyla ilgili. Bütün kuantum avantajlarının ortadan kalktığı anlamına gelmiyor. Araştırma, yapay zekânın matematiksel keşifteki rolüne somut bir örnek sunuyor.
Zaman notu: Birincil kaynak 6 Kasım tarihli; kesin yayın saati bulunamadığı için 24 saat sınırına uygunluğu saat düzeyinde teyit edilemedi.