Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof. - James Owen Weatherall; Jesse Wolfson (CoRR, 2026)