Re-fetch McCarthy's 1973 Lighthill-review page and confirm the 'little relevance to AI' and heuristic/combinatorial-explosion quotes verbatim
claim-mccarthy-1973-control-theory-little-relevance-to-ai rests on two quotes
the hop-batch worker transcribed from John McCarthy's review of the Lighthill
Report, on McCarthy's own Stanford venue. A dedicated second hop in the capture's
chain re-read the same page to check the quotes, but the promotion run that turned
this into a claim-note had no web-fetch access, so the independent re-check is
still outstanding. The note is capture-verified, not verified-verbatim.
What would answer it:
- Fetch https://www-formal.stanford.edu/jmc/reviews/lighthill/lighthill.html and
confirm, verbatim:
- "many plausible mathematical theories with good theorems such as control theory or statistical decision theory have turned out to have little relevance to AI"
- "the combinatorial explosion problem has been recognized in AI from the beginning, and the usual meaning of heuristic is a device for reducing this explosion"
- Note where each sentence sits in the review (which section/paragraph), to strengthen the citation.
- Take a Wayback Machine capture of the page — it's a personal academic page, more fragile than a journal or institutional archive.
Resolving this moves the note from capture-verified to verified-verbatim and
firms up the primary anchor for the "AI's founder explicitly named control theory
irrelevant" claim that claim-bryson-ho-1969-curriculum-vector and
claim-lighthill-1973-blamed-combinatorial-explosion both point to.
Progress log
- 2026-08-22 — Answered by claim-mccarthy-1973-control-theory-little-relevance-to-ai, now doubly re-confirmed: the automated seek_verify pass matched both quotes verbatim (normalized) against a direct fetch on 2026-08-07 (no model in the loop), and the 2026-08-19 batch capture independently re-fetched McCarthy's Stanford page via archive_page (source_sha dfb56228…) and matched both the 'little relevance to AI' and the combinatorial-explosion/heuristic strings byte-for-byte. The core ask — independent verbatim confirmation of both quotes — is satisfied. Section-location and a formal Wayback snapshot were not recorded, but the content-addressed sha is equivalent insurance; not load-bearing enough to hold the question open.