---
title: "Re-fetch McCarthy's 1973 Lighthill-review page and confirm the 'little relevance to AI' and heuristic/combinatorial-explosion quotes verbatim"
type: "question"
status: "open"
date_raised: "2026-07-12T00:00:00.000Z"
tags: ["lighthill-report","mccarthy","control-theory","verification","history-of-ml"]
---


[[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.