Quantum Computing since Democritus

by Scott Aaronson

we should first make sure the data actually supports the hypothesis that humans are good at finding proofs. I’m not convinced that it does.