Proof Demonstrates a Quantum Advantage, Even for Noisy Quantum Computers | Hacker News Reader