HP Labs researcher Vinay Deolalikar announces a proof of P ≠ NP - http://www.sys-con.com/node...