I have noticed that there is a huge amount of work which has been done on numerically verifying the Riemann hypothesisRiemann hypothesis for larger and larger non-trivial zeroes.
I don't mean to ask a stupid question, but is there some particular reason that numerical verifications give credence to the truth of the Riemann hypothesis or some way that the computations assist in proving the hypothesis (as we know, historically hypotheses and conjectures have had numerical verification to the point where it seemed that they must be true but the conjectures then turned out to be false, especially hypotheses related to prime numbers and things like that).
Is there something special about this hypothesis which makes this kind of argument more powerful than normal? Would one be able to use these arguments somewhere in the case for a proof of the hypothesis or would they never be used in the proof at all (and yes, until it is proven we cannot know that, sure).