Comment by pxx

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.