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.