AI Proves Aaronson–Ambainis Conjecture: No Exponential Quantum Speedup for Unstructured Problems

The 2009 Aaronson–Ambainis conjecture has been proven by AI, confirming that quantum algorithms cannot achieve exponential speedup on unstructured black-box problems. Scott Aaronson confirmed the result on his blog, expressing surprise it had remained unproven.

2026-11-09 ~ 2026-11-09 · 2 related posts

• Aaronson–Ambainis conjecture resolved: no exponential quantum speedup for unstructured problems — fortnow · 2026-11-09
• Scott Aaronson confirms AI proved the Aaronson-Ambainis conjecture, 16 years after it was posed — IgorCarron · 2026-11-09