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.

At this point, I have no expectations. The future is alien and strange, so time to talk the silicon runes...