Weatherall and Wolfson's 2026 proof-value paper is cross-listed arXiv cs.AI — the one AI-tagged subject found in Weatherall's current output

philosophy-of-mathematicsartificial-intelligencejames-owen-weatheralljesse-wolfsonarxivautomated-theorem-proving

James Owen Weatherall and mathematician Jesse Wolfson co-authored "Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof" (arXiv:2602.12463, submitted 12 February 2026, 43 pages), cross-listed on arXiv under both History and Overview (math.HO) and Artificial Intelligence (cs.AI). It is the only AI-tagged arXiv subject found anywhere in Weatherall's output during a direct check of his current research for computation content — a check that found his GR-foundations/determinism cluster carries none. The paper argues that formal correctness — in-principle formalizability in a formal proof system — is neither necessary nor sufficient for a mathematical proof's epistemic value, and explicitly engages the live debate over automated theorem provers and AI-driven mathematics:

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. We then present a view on the relationship between mathematics and logic that clarifies the role of formal correctness in mathematics. Finally, we discuss the significance of these arguments for recent discussions about automated theorem provers and applications of AI to mathematics.

The abstract page's own metadata records the dual classification directly (label and value run together in the capture's text layer):

Subjects:History and Overview (math.HO); Artificial Intelligence (cs.AI)