Show notes
When does a quantum computer gain an extraordinary advantage? We explore Physical Superintelligence's reported proof of the Aaronson–Ambainis conjecture, found with an AI research system and checked in the Lean proof assistant. The result concerns query complexity—how often a computer must look at its input—and why structure matters for exponential quantum speedups. Through switches, probabilities, and influential variables, we unpack the question and the collaboration between mathematical i...
