[chx]

I think the average HNer will hear when a proof happens for real in just the everyday channels of theirs: Twitter, Facebook, Reddit, HN etc will be FULL of it (with good reason). Remember the Higgs boson?