Online Listing News: * AI-Assisted Proof Settles Longstanding Question About Quantum Speedups  The Quantum Insider
* PSI Reports Machine-Checked Proof of Aaronson-Ambainis Conjecture  Unite.AI
* PSI Says Anthropic Model Proved 18-Year Quantum Conjecture  FourWeekMBA
* US Startup Physical Superintelligence Proves Aaronson-Ambainis Conjecture, A Key Open Problem In Quantum Computing  OfficeChai
* Aaronson-Ambainis Conjecture Proved by PSI AI System  ShiftDelete.Net
http://dlvr.it/TWF6dk