[euccastro]

HP will get some prestige out of this, and not much else will happen short term. Almost everyone was already assuming P != NP.