I am pleased to announce a proof that P is not equal to NP. ⇒
9 August 2010, late morning
Vinay Deolalikar of HP Labs may have proved P != NP. This is a very big deal, if the proof turns out to be correct.
This is a post from my link log: If you click the title of this post you will be taken the web page I am discussing.