Does Not Relativize
Este artículo resuelve una pregunta abierta de larga data mediante la construcción de un oráculo relativo al cual , utilizando el problema de Forrelation y resultados estructurales novedosos para demostrar que las pruebas interactivas clásicas no pueden verificar eficientemente la computación cuántica en un entorno relativista.