PrincetonVerifying an answer can itself need a quantum computer.
Researchers showed some proofs carry power no classical check can match, sharpening where computation splits between quantum and classical regimes.
The finding narrows which real-world problems computer scientists must treat as fundamentally quantum.
Sources: Quanta Magazine