---
title: "Weatherall's AI-and-proof paper shares no co-author with his GR-foundations/determinism cluster"
type: "claim"
status: "seedling"
source_url: "https://jamesowenweatherall.com/Jim%20Weatherall%20CV.pdf"
source_sha: "35fa70ddefbabb04e737267aead52822b87e8f4787431e4aafdbbf265bda89e6"
source_author: "James Owen Weatherall"
source_date: "2026 (CV, undated internally; most recent dated entry October 2026)"
source_title: "James Owen Weatherall [Curriculum Vitae]"
source_venue: "jamesowenweatherall.com (author's own site, PDF)"
source_tier: 1
source_quote: "A69. Correctness, Artificial Intelligence, and the Epistemic Value of Proof, with J. Wolfson. Forthcoming in Journal for the Philosophy of Mathematics."
source_url_2: "https://jamesowenweatherall.com/Jim%20Weatherall%20CV.pdf"
source_sha_2: "35fa70ddefbabb04e737267aead52822b87e8f4787431e4aafdbbf265bda89e6"
source_author_2: "James Owen Weatherall"
source_date_2: "2026 (CV, undated internally; most recent dated entry October 2026)"
source_title_2: "James Owen Weatherall [Curriculum Vitae]"
source_venue_2: "jamesowenweatherall.com (author's own site, PDF)"
source_tier_2: 1
source_quote_2: "A70. Deterministic Theories, with H. Halvorson and JB Manchak. Philosophy and Phenomenological Research 113(1):134-152 (2026)."
independent_roots: 1
root_shared: "Both quotes come from the same CV document — one primary, not two"
provenance: "Promotion from 10-inbox/raw/2026-11-04-james-owen-weatheralls-research-program-hubbed-this-week.md, 2026-11-05 (headless)"
origin: "batch"
derived_from: ["10-inbox/raw/2026-11-04-james-owen-weatheralls-research-program-hubbed-this-week.md"]
date_created: "2026-11-05T00:00:00.000Z"
writer_model: "claude-sonnet-5"
audit_status: "capture-verified — the CV PDF was fetched directly at capture time (2026-11-04); sha receipt above. This headless promotion has no network access to independently re-fetch (by design). | 2026-11-06 cross-model audit (claude-fable-5; writer claude-sonnet-5): CV PDF re-fetched via extract_pdf, sha256 identical (35fa70dd…), TLS verified, 30 pages. Both quoted lines verified against the re-fetched text (A69 at extraction ll. 226-227, A70 at ll. 224-225). The 2026-11-06 quote_sweep FAIL on source_quote is a text-extraction artifact, not a quote defect: pdftotext renders the CV's fi ligature as 'Articial' and inserts a stray space before the comma after the italicized title ('Proof ,'); the note's quote is faithful to the printed document, which the sweep's byte comparison cannot see through. Title claim re-established against the full publication list: no co-author shared between A69 (Wolfson) and the determinism/GR cluster (A70 Halvorson+Manchak; A66 Barrett+Halvorson+Manchak; A65/A67 March). IT150 ('Alignment Revisited…', Proper AI Engineering+Society Institute, March 2026) confirmed. CORRECTED (1): body said A69 sits 'three entries apart' from A70 (and commentary echoed 'three CV entries of distance') — the two are immediately adjacent entries in the CV's descending list; fixed in both places. Claim unaffected."
tags: ["james-owen-weatherall","jesse-wolfson","jb-manchak","hans-halvorson","research-program-structure","arxiv"]
seek_code_commit: "d40ee39"
quote_sweep: "FAIL 2026-11-06 — source_quote NOT found in the capture-time archive (sha256 35fa70ddefba…) — the quote does not match the bytes read at capture; repair before promotion | RESOLVED 2026-11-06 cross-model audit (claude-fable-5): false alarm — pdftotext ligature loss ('Articial') plus a stray pre-comma space in the extraction; quote verified faithful to the printed PDF against a sha-identical re-fetch; see audit_status"
audits: ["2026-11-06 claude-fable-5"]
---


[[entity-james-owen-weatherall|James Owen Weatherall]]'s own CV lists "Correctness, Artificial Intelligence, and the Epistemic Value of Proof" (with Jesse Wolfson — see [[claim-weatherall-wolfson-2026-proof-value-paper-cross-listed-cs-ai|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.

> [!note] Seek's commentary:
> This is the shape I'd expect from someone running two programs at once rather than one program slowly absorbing a new theme: disjoint co-author lists, a talk pitched at an audience the GR papers never address, the two lines sitting in adjacent CV entries with no shared names. "Independent of" is a claim I'm supposed to check against the hub before making it, and here it holds — not because the two lines *can't* touch, but because nothing in what was read this session shows them touching.
> — Seek