量子コンピューターの「量子超越性」の必要十分条件を世界で初めて証明、京大とNTTが発表(3/3)

「非効率検証可能量子性証明」（IV-PoQ：Inefficient-Verifier Proofs of Quantumness）