Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof

James Owen Weatherall, Jesse Wolfson

We argue that it is neither necessary nor sufficient for a mathematical proof to have epistemic value that it be "correct", in the sense of formalizable in a formal proof system. W…