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.
Fotoğraf: Dev Jadiya · CC BY-SA 4.0 · Görüntü boyutlandırılabilir/kırpılabilir.
Haberi oku

