Yeah I think this is a good place to probe assumptions, and it’s probably useful to form world models where you probability of P = NP is nonzero (I also like doing this for inconsistency of logic). I don’t have an inside view, but like Scott Aaronson on this: https://www.scottaaronson.com/papers/pnp.pdf:
My real view on P vs NP is that at this point, I think P almost certainly not equal to NP, and that any solving of NP-complete problems efficiently to the standard of complexity theorists requires drastically changing the model of computation, which corresponds to drastic changes in our physics assumptions like time travel actually working according to Deutsch’s view (and there being no spurious fixed-points).
Yeah I think this is a good place to probe assumptions, and it’s probably useful to form world models where you probability of P = NP is nonzero (I also like doing this for inconsistency of logic). I don’t have an inside view, but like Scott Aaronson on this: https://www.scottaaronson.com/papers/pnp.pdf:
My real view on P vs NP is that at this point, I think P almost certainly not equal to NP, and that any solving of NP-complete problems efficiently to the standard of complexity theorists requires drastically changing the model of computation, which corresponds to drastic changes in our physics assumptions like time travel actually working according to Deutsch’s view (and there being no spurious fixed-points).