Quantum computers are supposed to have abilities far beyond conventional ones, but verifying that they actually do is surprisingly difficult – because checking their results can itself require computations that become prohibitively difficult for classical machines.