Scott Aaronson and others have shown that known proof techniques (algebrization, relativization, nat...