A Proof that P != NP from Vinay Deolalikar of HP Labs

Slashdot[1] brought this up first (at least to the Internet at large) and then came postings on Schneiers' blog [2] which also references [3]. There was also a small post in comp.compression that referenced [4].

It appears to be a serious effort but of course it is still very early to know for sure what is going on. There's a group of folks [5] (including Terence Tao) who are looking into the paper (or whatever has been published). And of course Slashdot has an update[6].

As for the basic stuff it is here[7] and here[8].

Interesting times lie ahead...

URL[1]: http://science.slashdot.org/story/10/08/08/226227/Claimed-Proof-That-P--NP
URL[2]: http://www.schneier.com/blog/archives/2010/08/p_np_1.html
URL[3]: http://rjlipton.wordpress.com/2010/08/08/a-proof-that-p-is-not-equal-to-np/
URL[4]: http://rjlipton.wordpress.com/2010/08/09/issues-in-the-proof-that-p%e2%89%a0np/
URL[5]: http://rjlipton.wordpress.com/2010/08/10/update-on-deolalikars-proof-that-p%e2%89%a0np/
URL[6]: http://science.slashdot.org/story/10/08/11/0239209/Possible-Issues-With-the-P--NP-Proof
URL[7]: http://en.wikipedia.org/wiki/P_versus_NP_problem
URL[8]: http://www.claymath.org/millennium/P_vs_NP/

[/readings] permanent link