Note that this assumes that P does not contain PSPACE.
Also, the proofs in the post (or at least the proof that iterative amplification with weak HCH accesses PSPACE, which is the only one I’ve read so far) assume polynomial-time access to M, which in reality contradicts premise 2. So I’m not sure what to make of things.
Note that this assumes that P does not contain PSPACE.
Also, the proofs in the post (or at least the proof that iterative amplification with weak HCH accesses PSPACE, which is the only one I’ve read so far) assume polynomial-time access to M, which in reality contradicts premise 2. So I’m not sure what to make of things.