TY  - RPRT
TI  - Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
AU  - James Owen Weatherall
AU  - Jesse Wolfson
PY  - 2026
UR  - https://arxiv.org/abs/2602.12463
ID  - 2602.12463
ER  -