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.