P=NP如果被证明了，比如假设找到了3-SAT方法，当然会有巨大价值。

很多问题都会转换成3-SAT，也就有了polynomial的解法，相当多被证明是NP-complete的方法就会被彻底解决，整个theoretical computer science的大厦就彻底塌了。

问题是年年有人他妈不知天高地厚去证明P=NP，最后发现都是大傻逼。 https://t.co/RYBkRQSVAQ