[studer]

Discussed here:

http://news.ycombinator.com/item?id=1587405

As randomwalker says, it's not entirely obvious that Aaronson is betting against the proof.

[nsoonhui]

It is.

[studer]

It wasn't, when the comment you just downmodded was written. There's a reason Aaronson's posted multiple clarifications, after all...