For those (like me) wondering what became of that P != NP proof. It seems to have generally been discredited (though not yet retracted). Note that I'm just reporting what I found here: http://www.scottaaronson.com/blog/?p=458

But I don't keep up with this area, so maybe the status of that work is more contentious than Scott Aaronson makes it appear.