[albertzeyer]

Sometimes there are also flaws which can not be corrected.

But I cannot make a qualified guess if this might be the case here.

[Confusion]

Of course, but that's an even larger gamble, if you don't have at least a very specific hunch about the way in which a proof will fail. All in all, this announcement by Aaronson seems rather rash. I don't understand why he would do such a thing.

[eru]

I am OK with it. He put his money where his mouth is, instead of just putting his mouth somewhere.