Quantum Advantage Formally Proved | Hacker News Reader