I was wondering this as well. Perhaps this is an example of a new, computer-assisted paradigm of math, where after extensive computation, a proposition is accep

I was wondering this as well. Perhaps this is an example of a new, computer-assisted paradigm of math, where after extensive computation, a proposition is accepted as true if the probability of its being false is judged to be sufficiently small. I don't have the exact reference, but there was an article in some AMS publication about this in a few years ago.