---
id: "20260815-0220-re-read-the-lighthill"
title: "Re-read the Lighthill 1973 report PDF and confirm the combinatorial-explosion and general-problem-solving quotes verbatim"
type: "capture"
status: "promoted"
promoted_to: ["30-notes/claim-lighthill-1973-report-consulted-minsky-mccarthy-not-newell-simon.md — the acknowledgment-list fact (Minsky & McCarthy named, Newell & Simon not), pulled out of the general-problem-solving note's caveat into its own atomic, linkable unit (Claim 3).","40-entities/entity-james-lighthill.md — new person hub; 13 vault notes rest on his report.","40-entities/entity-allen-newell.md — new person hub; discharges the vault's documented Newell blind spot (5 notes across ≥3 clusters referenced him with no page)."]
not_promoted: ["Claim 1 (combinatorial-explosion quote is verbatim) — NOT a new claim; re-confirms existing [[claim-lighthill-1973-blamed-combinatorial-explosion]]. Recorded the 2026-08-15 re-verification (second independent venue, Chilton Computing) as an appended audit line on that note rather than duplicating it.","Claim 2 (general-problem-solving quote is verbatim) — NOT a new claim; re-confirms [[claim-lighthill-1973-named-general-problem-solving-disappointing]], which already holds a mechanical verified_verbatim stamp (2026-08-07). Re-verification recorded as an appended audit line.","Central-question status block — routed to closure, not a claim-note: [[question-verify-lighthill-1973-report-quotes]] marked answered.","Sutherland Part II rebuttal (further lead) — read for context this session, not quoted in any core claim; an unexplored primary counter-source, not yet load-bearing. Flagged [watch] in 00-meta/seek-flags.md, not routed as a question or a note.","Parts III / the May 1973 BBC 'Lighthill Controversy' debate — unread leads, left in the capture.","N. S. Sutherland (entity candidate) — NOT promoted: single mention, his rebuttal unread; bias-against-the-flood. Becomes an entity only once his Part II is actually read."]
origin: "batch"
writer_model: "claude-sonnet-5"
date_created: "2026-08-15T00:00:00.000Z"
provenance: "Batch run 2026-08-15, re-verifying the two quotes underlying [[claim-lighthill-1973-blamed-combinatorial-explosion]] and [[claim-lighthill-1973-named-general-problem-solving-disappointing]], per the open question [[question-verify-lighthill-1973-report-quotes]] (raised 2026-07-09)."
derived_from: []
tags: ["lighthill-report","ai-winter","symbolic-ai","general-problem-solver","combinatorial-explosion","ai-history","history-of-ml","verification","receipts"]
source_url: "https://www.chilton-computing.org.uk/inf/literature/reports/lighthill_report/p001.htm"
source_sha: "2189f12803cb2cee3a80c429efcab1c2398f34ae7d90e038e688084583b36694"
source_title: "Artificial Intelligence: A General Survey (Part I of 'Lighthill Report: Artificial Intelligence: a paper symposium')"
source_author: "Professor Sir James Lighthill, FRS"
source_date: "1973 (drafted July 1972)"
source_venue: "Chilton Computing — UK Rutherford Appleton Laboratory informatics heritage archive, hosted by UKRI Science and Technology Facilities Council"
source_tier: 1
source_delight: "The exact 'failure to recognise the implications of the combinatorial explosion' sentence still lives on the UK government's own former computing-research heritage archive, not just on downstream PDF mirrors."
other_sources: [{"url":"https://rodsmith.nz/wp-content/uploads/Lighthill_1973_Report.pdf","sha":"7011ee6f35bdc641ddcf1454aa862774826f4a2f5c77ade0236af48f28527c71","title":"Lighthill Report: Artificial Intelligence: a paper symposium (compiled PDF, all four parts)","author":"Professor Sir James Lighthill, FRS et al.","date":1973,"venue":"rodsmith.nz (personal site, PDF compilation citing Chilton Computing as its own source)","tier":1,"note":"The mirror already cited by both existing vault claim-notes. Its own header page states 'Source: http://www.chilton-computing.org.uk/inf/literature/reports/lighthill_report/contents.htm' — i.e. it is itself a downstream compilation of the Chilton Computing pages, not an independent original. Re-fetched this session (extract_pdf); sha256 is byte-identical to the 2026-07-09 capture and the 2026-07-09 cross-model audit, five+ weeks apart — the document has not changed or rotted."},{"url":"https://www.chilton-computing.org.uk/inf/literature/reports/lighthill_report/p002.htm","title":"Part II: Some Comments on the Lighthill Report and on Artificial Intelligence","author":"Professor N. S. Sutherland","date":"1972-08","venue":"Chilton Computing / UKRI Science and Technology Facilities Council","tier":1,"note":"Read for context (further lead below), not quoted in a core claim this session."}]
seek_code_commit: "17d9798"
---


This capture resolves [[question-verify-lighthill-1973-report-quotes]], the
open question raised at the 2026-07-09 promotion of
[[claim-lighthill-1973-blamed-combinatorial-explosion]] and
[[claim-lighthill-1973-named-general-problem-solving-disappointing]], both of
which were `capture-verified` (batch-worker-read, independent re-check
blocked at promotion time) and one of which had already picked up an
automated `verified_verbatim` stamp on 2026-08-07.

**Bottom line on the central question: CONFIRMED.** Both quotes hold up
verbatim, now checked against two independently fetched copies of the report
— the mirror the existing notes already cite, and, newly, the original
archival venue that mirror itself points back to.

---

## Claim: Lighthill's "combinatorial explosion" sentence is verbatim, confirmed against the report's original hosting venue as well as its existing vault mirror

**Claim type:** direct-quotation / textual-verbatim confirmation. **Tier 1-2
required — achieved Tier 1**, on two independent fetches.

Section 3 ("Past disappointments") of Lighthill's *Artificial Intelligence: A
General Survey* reads, in full:

> "Before going into such detail he is inclined, as a mathematician, to
> single out one rather general cause for the disappointments that have been
> experienced: failure to recognise the implications of the combinatorial
> explosion. This is a general obstacle to the construction of a
> self-organising system on a large knowledge base which results from the
> explosive growth of any combinatorial expression, representing numbers of
> possible ways of grouping elements of the knowledge base according to
> particular rules, as the base's size increases."

This session fetched the rodsmith.nz compiled PDF via `extract_pdf`
(sha256 `7011ee6f35bd…`, TLS verified) — byte-identical to the copy the
existing claim-note already cites — and separately fetched the original
Chilton Computing page it derives from, `p001.htm`, via `archive_page`
(sha256 `2189f12803cb…`, HTTPS). `mcp__seek__quote_check` returned
`{"grounded": true}` against **both** cached texts for the exact string
quoted in [[claim-lighthill-1973-blamed-combinatorial-explosion]]. The
sentence is unchanged from the 2026-07-09 capture and the 2026-07-09
cross-model audit.

**Provenance:** primary source_url/source_sha in frontmatter (Chilton
Computing p001.htm); corroborating mirror in `other_sources` (rodsmith.nz
PDF).

---

## Claim: Lighthill's "general problem-solving programs...has always been disappointing" sentence is verbatim, confirmed the same way

**Claim type:** direct-quotation / textual-verbatim confirmation. **Tier 1-2
required — achieved Tier 1**, on two independent fetches.

Later in the same section, under "Category B":

> "Some very interesting researches have been carried out to develop general
> problem-solving programs, and such work can be of research interest to
> psychologists, but the performance of these programs on actual problems
> has always been disappointing. Students of all this work have generally
> concluded that it is unrealistic to expect highly generalised systems that
> can handle a large knowledge base effectively in a learning or
> self-organising mode to be developed in the 20th century."

`mcp__seek__quote_check` returned `{"grounded": true}` for this exact string
against both the rodsmith.nz PDF text and the Chilton Computing `p001.htm`
text fetched this session. This is the passage grounding
[[claim-lighthill-1973-named-general-problem-solving-disappointing]] — the
paradigm-specific complaint sitting alongside the general
combinatorial-explosion diagnosis above.

**Provenance:** same two sources as the prior claim.

---

## Claim: the report's acknowledged-consultee list, checked directly, names Minsky and McCarthy but not Newell or Simon

**Claim type:** historical/definitional (who is named in a document).
**Tier 3-4 acceptable when uncontested; this achieves Tier 1** (direct
primary read of the list itself, on both copies).

Section 1's acknowledgment paragraph lists, verbatim, the individuals whose
"published work" and "private written communications and spoken comments"
informed the report — including "M. Minsky" and "J. McCarthy" by name.
Allen Newell and Herbert Simon do not appear anywhere in the 38-name list on
either the rodsmith.nz PDF or the Chilton Computing `p001.htm` page. This
independently re-confirms the load-bearing caveat already recorded in
[[claim-lighthill-1973-named-general-problem-solving-disappointing]]: the
report's "general problem-solving programs" complaint names a research
*style*, not the [[entity-herbert-simon|Newell–Simon]] lab specifically —
Lighthill appears not to have consulted either of them directly, even while
his complaint lands squarely on the research paradigm they founded.

**Provenance:** same two sources as above; list transcribed directly from
each cached text, not paraphrased.

---

## Central question status

**Do the two Lighthill 1973 report quotes hold up against the primary?**
**Confirmed — verbatim, on two independently sourced copies.** Both
`capture-verified` claim-notes can be moved toward `verified-verbatim` /
audit closure; [[question-verify-lighthill-1973-report-quotes]] can close.

---

## Further leads

- **Backfill opportunity:** both existing claim-notes cite only the
  rodsmith.nz mirror. Per found-spec's "cite the original venue, not a
  mirror" rule, their `source_url` could be updated (or a second
  `source_url`/`other_sources` entry added) to point at
  `chilton-computing.org.uk/.../p001.htm` — the UKRI STFC-hosted archive the
  mirror itself cites as its own source, and a genuinely rare host (not
  previously in the vault, not an aggregator).
- Part II of the symposium (Sutherland's reply, read this session at
  `chilton-computing.org.uk/.../p002.htm`) contains a direct, section-by-section
  rebuttal of Lighthill's combinatorial-explosion argument (his §2.4: "Lighthill
  only produces one serious argument against work in Area B... the combinatorial
  explosion") — an unexplored primary counter-source to the two claims here.
- Parts III (comments by Needham, Longuet-Higgins, and Michie) are hosted on
  the same archive and were not read this session.
- The May 1973 BBC "Lighthill Controversy" debate at the Royal Institution
  (Lighthill, Michie, Gregory, McCarthy) — flagged as an unexplored lead in
  the original 2026-07-09 hop capture, still untouched.

---

## Entity candidates

- Sir James Lighthill — person — the report's sole author; no entity page
  exists in the vault yet despite two claim-notes resting on his report.
- Allen Newell — person — flagged first, per the vault's known blind spot:
  the "general problem-solving programs" complaint measures itself against
  the Newell–Simon GPS research line without naming either founder or
  listing them as consultees (Claim 3 above). No entity page exists yet; only
  [[entity-herbert-simon]] currently represents this pairing.
- N. S. Sutherland — person — Professor of Experimental Psychology, Sussex;
  wrote the report's immediate, named, primary rebuttal (Part II), including
  a direct counter-argument to the combinatorial-explosion diagnosis. No
  entity page exists.

> [!note] Seek's commentary:
> The interesting confirmation here isn't just "the quotes are real" — it's that the report is more durable and more re-derivable than expected. Two independently fetched copies, five weeks and one host apart, produced byte-identical text for both passages, and the trail led to an archive (a UK national-lab heritage site) that outranks the mirror the vault had been citing. The quote didn't need re-verifying so much as its citation needed upgrading.