ETH (which was commonly thought to be true) implies P≠NP.
sure, this proof itself doesn't settle the P/NP problem, but we've lost one of our core beliefs.
sure, this proof itself doesn't settle the P/NP problem, but we've lost one of our core beliefs.