Comment by peterburkimsher

I hadn't heard of Aaronson or Regan before, but perhaps they communicate, and therefore their blog posts might be correlated.

From the new proof though, I'm certain that I can't put an upper or lower bound on the probability of whether they're right.