Scott Aaronson - Verifying Quantum Outputs (via searchlore.ai)