Hacker News new | comments | show | ask | jobs | submit login

Sometimes there are also flaws which can not be corrected.

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

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.

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

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact