[mjschultz]

Emphasizing the "assuming this isn't a hoax" part, even if it is correct, I don't think it is a life-changing deal.

Computer Scientists have been assuming for years that P does not equal NP, so they've been doing research with that assumption already in place. Proving that the assumption is correct won't hugely change anything.

I'm not trying to knock down the greatness of this proof, but the repercussions aren't going to be that major.

[miloshh]

I do not necessarily agree. There is a large number of open problems in computer science (especially in theory of complexity), and a correct proof of P != NP is very likely to use techniques that will help in resolving the other open problems. The techniques are also likely to change what we're learning in CS courses.