So I have a general thesis about a failure mode here which is that, the moment you try to sketch any concrete plan or events which correspond to the abstract descriptions, it is much more obviously wrong, and that is why the descriptions stay so abstract in the mouths of everybody who sounds more optimistic than I am.
As another example:
Proving if an arbitrary 3-SAT instance is (un)satisfiable is NP-complete. Satisfying three-quarters of the constraints of an arbitrary 3-SAT instance is trivial. Flip a coin for every variable assignment and you’re done.
As another example:
Proving if an arbitrary 3-SAT instance is (un)satisfiable is NP-complete.
Satisfying three-quarters of the constraints of an arbitrary 3-SAT instance is trivial. Flip a coin for every variable assignment and you’re done.