P=！NP发现与尝试证明的历史

[forecasting]

见图


但引入电路复杂性，后被人证明不会有自然证明，因此解决不了这个问题。至于PCP层级引入，仅仅证明了NP-Hard问题不可近似，并没有暗示NP！=P。现在只有有限模型论方法还有希望解决这个问题

[牛河梁]

这个问题始作俑者是Cook。解决不了也是因为他。他公开讲认为P不等于NP。所谓大多数计算机科学家其实就是一帮搞密码的。如果P不等于NP，他们就能继续骗饭。