So...do you believe in AC?
Is it possisble for the RH to be Godel-undecidable? Eg, the AC is needed to construct the Hilbert-Polya operator or something?
Have you seen the 'proof' that the RH is true with probability one?