MIP*=RE https://www.scottaaronson.com/blog/?p=4512
Quantum Provers to Infinity and Beyond https://blog.computationalcomplexity.org/2020/01/quantum-provers-to-infinity-and-beyond.html ### ("MIP* is the set of things provable to a classically random polynomial-time verifier by two separated provers with an unlimited number of quantumly entangled qubits.") ### JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjgoXWeseWH1ss8Vq4do2DyC2Srn5TcwwhqpEP5jWwagw%40mail.gmail.com.
