Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
arXiv:2602.12463v1 Announce Type: cross Abstract: We argue that it is neither necessary nor sufficient for a mathematical proof to have epistemic value that it be …
James Owen Weatherall, Jesse Wolfson
3 views