Proving quantum proofs differ from classical ones looked far harder
"That just seemed like a much, much harder problem,"
on the 2006 quantum proofs paper he co-authored
S
Scott AaronsonUT Austin · Professor
More from Scott Aaronson
All quotes →“Human mathematicians are forevermore dethroned as the main theorem-proving entities on planet earth.”
“In whatever years I have left, I don't expect that I'll ever again prove a theorem because I'm actually needed to prove it.”
“There were fundamental questions here that could have been asked hundreds of years ago. It's just that no one thought to ask them.”
On the same topic: Quantum & frontier physics
More →“I don’t know of any mundane way to explain it.”
“I thought it was a little bit crazy, but I thought it was the least crazy of all the possibilities.”
“Arora also explains why quantum computers could threaten today's encryption — and why hackers may already be collecting data to decrypt later.”