Hmm ... what we mean by `exactness' - in physics, for instance - has been changing ever since the advent of quantum mechanics about a hundred years ago.

There are two points to consider: (a) the principle underlying the hypothesis is sound vs. is not, and (b) the computational model of the hypothesis is deterministic vs. probabilistic. These two have to be considered separately when performing an evaluation/verification.