Multi-Prover Interactive Proofs: How to Remove Intractability Assumptions