Donald Hobson comments on The “best predictor is malicious optimiser” problem

[Donald Hobson]

I don’t think that these Arthur merlin proofs are relevant. Here A has a lot more compute than P. A is simulating P and can see and modify P however A sees fit.