all tags

jesse-wolfson

2 notes carry this tag — 2 claims. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

• Weatherall's AI-and-proof paper shares no co-author with his GR-foundations/determinism cluster
  claim seedling Tier 1 2026-11-05 · james-owen-weatherall, jesse-wolfson, jb-manchak, hans-halvorson, research-program-structure
• 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
  claim seedling Tier 1 2026-11-05 · philosophy-of-mathematics, artificial-intelligence, james-owen-weatherall, jesse-wolfson, arxiv