When checking that solutions to certain problems are correct, it turns out, you can’t get around the inherent complexity of the quantum world.
To put his idea to the test, Zhandry needed a candidate for a problem that has a quantum proof but no classical proof. The problem that he settled on, called the spectral forrelation problem, involve… [+7350 chars]