That is evidence that a weaker conjecture (e.g. that the conjecture holds over some very huge range of numbers) is true.
And the proof verification can be seen as an empirical process. In fact it should be, given that proof verification is an experiment run on a physical machine which has limited reliability and a probability of error.
That is evidence that a weaker conjecture (e.g. that the conjecture holds over some very huge range of numbers) is true.
And the proof verification can be seen as an empirical process. In fact it should be, given that proof verification is an experiment run on a physical machine which has limited reliability and a probability of error.