[silentvoice]

I wasn't clear enough. I was responding to the flow of comments of the form: "Riemann hypothesis is hard, this is unlikely to be true." Sure it's true, but doing a little more research could inform that opinion well past the zeroth-order approximation of "it's a hard problem."

I didn't actually take my own advice, I just wait for Terence Tao to write a post then I know it's true :)

[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?