OMG QIP=PSPACE
scienceblogs.com
scienceblogs.com
Even after reading TFA I have no idea how important this is.
In this case, the authors seem to have good credentials.
The author of the blog post probably thought this has a good chance of being correct.
All that can be calculated on a Classic Turing-complete Computer can also be calculated on a Quantum Turing-complete Computer, and vice-versa. It will just take longer on a Classic Computer (sometimes a LOT longer).
Is this correct?
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.