What you say is correct, but has been known for some time and has nothing to do with the thing proved being here. This new result is quite theoretical, and I fear that I can't explain all the relevant definitions in a few sentences. QIP = IP basically means that quantum computers are not much better than classical computers -- if both are attached to an implausible theorem prover.

Since those theorem provers don't exist, I'm not sure if there's any practical insight to be gained from this, but nevertheless it is a surprising result.