I assume (perhaps incorrectly) that the terrabytes of data generated by these computational proofs are created using an algorithm that has been proven correct by a human, so I am further assuming that the potential for uncertainty you are positing comes from machine error (especially since you use the term "physical"). Are you aware of the rate of physical error in modern CPUs, memory, and storage technologies when they are arrayed in a redundant fashion? It is extremely low, and very unlikely even for a data set of this size, especially when compared to human error rates. Furthermore, were this to be replicated by someone else on another set of machines, the likelihood of the same bit flip due to physical error is so unlikely as to be astronomical in its probability.
>the terrabytes of data generated by these computational proofs are created using an algorithm that has been proven correct by a human
Was thinking much bigger than that. Probably won't be feasible in the near future, and would of course be directed by very clever agents (mathematicians), themselves having excellent mathematical insight.
>It is extremely low, and very unlikely even for a data set of this size, especially when compared to human error rates.
That's the idea. Replace "practically impossible to discover or know" with knowing to an astronomically high degree of certainty. Never suggested otherwise.
