If for some reason the counter example of the Reimann hyp would be checkable in exponential time (whatever that means), and if it would have required 10 years of computer time to check, how would that matter? The solution would still stand (assuming that everybody agrees that no mistake was made).