AI-Assisted Proof Settles Longstanding Question About Quantum Speedups The Quantum Insider