AI-Assisted Proof Settles Longstanding Question About Quantum Speedups
The Quantum Insider · By Matt Swayne ·
Insider Brief A proof of the Aaronson-Ambainis conjecture establishes that exponential quantum advantages in input reads require structure when answering yes-or-no questions on most randomly generated inputs. PSI said its research system used a non-public Anthropic model to find…