>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

>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.