I've seen a paper[1] that claims RH, as stated, is undecideable, and then proposes to prove that an analytic continuation of it has the property required. The idea seems to be that you can choose your continuation to have or not have the property. It's not clear to me what could be undecideable about the original proposition; either the continuation matches at the points in question, or it doesn't, and if it doesn't,…
Maybe this line of argument fixes the flaws in the original BBM paper in some way - I'm not qualified to comment - but I sort of doubt it.
[0] https://arxiv.org/abs/1704.02644 [1] https://math.stackexchange.com/questions/2211278/riemann-hyp...