Weatherall's AI-and-proof paper shares no co-author with his GR-foundations/determinism cluster

james-owen-weatheralljesse-wolfsonjb-manchakhans-halvorsonresearch-program-structurearxiv

James Owen Weatherall's own CV lists "Correctness, Artificial Intelligence, and the Epistemic Value of Proof" (with Jesse Wolfson — see the AI/proof paper itself) as item A69, immediately adjacent to "Deterministic Theories" (with Hans Halvorson and JB Manchak — see claim-halvorson-manchak-weatherall-2026-determinism-papers-have-zero-computation-contact) as item A70. The two papers share no co-author: Wolfson is a mathematician in UC Irvine's Department of Mathematics, distinct from Eleanor March, Halvorson, Manchak, or Thomas Barrett — the co-authors on the determinism and minimal-coupling work. The CV lists the two lines separately:

"A69. Correctness, Artificial Intelligence, and the Epistemic Value of Proof, with J. Wolfson. Forthcoming in Journal for the Philosophy of Mathematics."

"A70. Deterministic Theories, with H. Halvorson and JB Manchak. Philosophy and Phenomenological Research 113(1):134-152 (2026)."

The CV also lists an invited talk under the AI/proof line pitched at an AI-engineering audience rather than a philosophy-of-physics one — "Alignment Revisited: The Case of Mathematical Proof," with Wolfson, at UC Irvine's Proper AI Engineering+Society Institute (March 2026) — and nothing in the material read this session cross-references the AI/proof line with the minimal-coupling or determinism work.