But then Aaronson responded by saying "If I were a Bayesian rationalist, I’m sure I’d agree with you!" and instead claims that the rationale for the $200k is that "If P≠NP has indeed been proved, my life will change so dramatically that having to pay $200,000 will be the least of it." and that "If P≠NP is proved, then to whatever extent theoretical computer science continues to exist at all, it will have a very different character."
That almost sounds like the justification for a reversed insurance bet, except of course that if the proof if wrong then Aaronson doesn't stand to gain anything. So yeah, confusing.
Bottom line, I would caution against interpreting this to mean Aaronson is betting against the proof.
His bet is to emphasize the second point. The fact that he wont' gain anything if the proof is wrong and lost $200K if the proof is correct only underscores how strongly he believes the proof is almost certainly flawed.
"So what are my uninformed views? If I was a betting man I would bet that it won't pan out. I would bet that he proved something very interesting, but not P ≠ NP. Why do I think this? This is NOT based on the author who seems to be a person to be taken seriously. Its just that the problem is so hard and we've made no progress on it since... . Hmmm, when is the last time we made progress on it?"
To quote (http://news.ycombinator.com/item?id=1586749): >> It's known that a proof resolving P vs NP can't relativize, can't be "natural", and can't "algebrize". <<
Well, he does explain what he stands to gain in the post: a clear conscience that he's being fair to Deolalikar whilst not expending any hard work on his proof. He's buying the right to enjoy the rest of his vacation. I think it makes sense. It's easy to see how he would feel both obligated to respond to all the people asking about this and annoyed about it, and this is a clever way out of the dilemma.
Edit: "I wanted to stop having to answer emails about this. To me, that’s easily worth the possibility of paying $200k."
I guess a guy may be as outrageous or egomaniac as he wants on his own blog, but how does that make it hacker news, or news at all? I don't care if he's an expert at the subject, there's no content at all about the proof in that post.
P≠NP is exactly the ‘expected’ answer! But proving that
expected answer has been the central goal of the field
for 40 years—not so much (in my opinion) because the
answer itself is in serious doubt, as because of how much
will need to be learned about computation on the way to
the proof. If P≠NP is proved, then to whatever extent
theoretical computer science continues to exist at all,
it will have a very different character.
1) It would solve one of the most important problems in computer science and mathematics
2) Understanding of the proof and the methods it uses could very likely lead to solving other problems in computational complexity.
3) Furthermore, the proof would shed light on why certain problems are hard. Such an understanding could lead to better heuristics to solve those problems.
BTW, why can't I respond to sidww2's comment? There's no reply button.
Oh well, maybe this guy's life will change if P!=NP is proven, but the rest of us will carry on normally.
> I’ll leave it to the commenters to debate whether Deolalikar’s paper exhibits one or more of the Ten Signs A Claimed Mathematical Breakthrough Is Wrong.
Rather I was commenting on the fact that the blog post is not as neutral as some commentators believed it to be.