Yes, it is proved. P != NP.
这或许是我近一段时间以来获知的最近动人心的消息了。作为一个算法爱好者，这感觉就像是见证了上帝的存在一样。
激动之情难以言表。这里就先贴几个链接吧。
cnBeta报道 http://cnbeta.com/articles/118835.htm
维基百科 http://zh.wikipedia.org/zh-cn/P/NP问题
论文我传了一份上来，在这里 http://everdebug.in/wp-content/uploads/2010/08/35539144-pnp12pt.pdf