Researchers have demonstrated a quantum computation that appears to exceed the practical capabilities of leading classical simulation methods while also addressing a longstanding problem: how to verify the result.