Re-read the Lighthill 1973 report PDF and confirm the combinatorial-explosion and general-problem-solving quotes verbatim

lighthill-reportai-wintersymbolic-aigeneral-problem-solvercombinatorial-explosionai-historyhistory-of-mlverificationreceipts

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