The Lighthill Report: the AI winter Newell and Simon's paradigm actually suffered, distinct from the Perceptrons myth

Claim 1 — Lighthill's own diagnosis of 1970s AI's failures was "the combinatorial explosion," not the Perceptrons book

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

source_url: https://rodsmith.nz/wp-content/uploads/Lighthill_1973_Report.pdf (Lighthill, "Artificial Intelligence: A General Survey," commissioned by the UK Science Research Council, July 1972 / published 1973) — source_tier: 1 (primary text, direct PDF extraction).

Claim 2 — The report specifically names "general problem-solving programs" — the paradigm GPS belonged to — as a category whose real performance "has always been disappointing"

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

Caveat: the report never names Newell, Simon, or GPS — it's a UK funding survey (acknowledged consultees include Minsky and McCarthy, not Newell or Simon), not a critique of one lab. But "general problem-solving programs" was the era's standard term for exactly the Newell-Simon research line.

source_url: https://rodsmith.nz/wp-content/uploads/Lighthill_1973_Report.pdf — source_tier: 1.

Claim 3 — Herbert Simon, co-architect of that same GPS/symbolic-AI paradigm, is the identical person already in this vault as the founder of "bounded rationality"

The vault's rationality-continuity-problem.md cites Simon (1955) purely as an economist. Simon and Newell's 1976 "Physical Symbol System Hypothesis" (the tenth ACM Turing Lecture, published as "Computer Science as Empirical Inquiry," CACM 19(3)) and their earlier GPS/Logic Theorist work rest on the same core move as satisficing: search for a heuristically "good enough" solution rather than an exhaustively optimal one — applied to machines and to human decision-makers by the same person, in the same intellectual arc. [historical/biographical, uncontested — Tier 3-4 acceptable per sourcing rubric]

source_url: https://plato.stanford.edu/entries/bounded-rationality/ — source_tier: 3.

Why this was hop-worthy

The vault's existing myth-note on Perceptrons already lists the Lighthill Report as one of two "independent funding shocks" but only via a passing Tier-3 Wikipedia mention — this hop reads the actual primary document and shows it targeted a different paradigm (GPS-style symbolic search) for a different reason (combinatorial explosion, not multilayer-perceptron pessimism), sharpening rather than duplicating the existing myth cluster, while also opening a fresh bridge from AI history into the vault's separate bounded-rationality note.

Further leads

• Edward Feigenbaum / expert systems (max_cosine 0.661) — the other symbolic-AI paradigm and its own later, separate AI winter — unexplored this run.
• John McCarthy — CBI interviewee and a named Lighthill-report consultee — LISP/situation-calculus thread untouched.
• The May 1973 BBC "Lighthill Controversy" debate at the Royal Institution (Lighthill vs. Michie, McCarthy, Gregory) — a full transcript reportedly survives on GitHub; strong candidate for a dedicated future chain (a televised AI-hype debate in 1973 reads as eerily contemporary).

Hop chain

Hop 1: CBI oral histories index — https://cse.umn.edu/cbi/oral-histories

• Hook type: the unfamiliar name
• Hook: Allen Newell listed among CBI's AI-history interviewees (alongside McCarthy, Minsky, Feigenbaum) with no detail on the page about what he actually argued
• Why followed: cheapest hook likely to touch the vault's dense backprop/connectionism-history cluster (Minsky already lives there) while introducing someone new
• Key findings: Newell and Simon delivered the 1975 ACM Turing Lecture, published as "Computer Science as Empirical Inquiry: Symbols and Search" (CACM 19(3), 1976), formally stating the Physical Symbol System Hypothesis: "A physical symbol system has the necessary and sufficient means for general intelligent action."

Hop 2: Physical Symbol System Hypothesis -> Herbert Simon's dual career

• Hook type: cross-domain bridge / the person behind the thing
• Hook: Simon, co-author of PSSH, is the identical Herbert Simon the vault already cites (rationality-continuity-problem.md) for 1955 "A Behavioral Model of Rational Choice" — but only as an economist, with no link drawn to his AI work
• Why followed: vault_novelty's closest match was that exact existing note (0.766) — a hook linking two currently-disconnected vault clusters is the highest-value signal the assist defines
• Key findings: satisficing (economics) and heuristic search (GPS/AI) are the same theoretical move, applied by the same person to humans and machines respectively; bounded rationality was the theoretical spine of the AI program, not a separate later idea.

Hop 3: Simon & Newell's 1958 predictions — Operations Research 6(1)

• Hook type: the surprising claim
• Hook: the pair didn't just theorize — they made dated, falsifiable predictions in print
• Why followed: zoom-in from the person/theory to a specific, checkable artifact; matches the vault's established myth-ledger pattern of testing AI-history overclaims against primaries
• Key findings: "Heuristic Problem Solving: The Next Advance in Operations Research" predicted a computer chess champion within ten years (achieved ~39 years later, Deep Blue 1997), a computer discovering an important mathematical theorem, machine-composed music of aesthetic value, and psychological theory expressed as computer programs — none but the first came close to landing on schedule. [recorded from secondary corroboration of the 1958 primary; not independently pulled this run — flag if promoted]

Hop 4: Lighthill Report (1973), read in full via primary PDF

• Hook type: mechanism question, closing a loop already opened in the vault's myth-perceptrons note; also a cross-domain bridge (mathematics/government funding politics x AI research)
• Hook: the vault's existing myth note cites "the UK Lighthill Report (1973)" only via Wikipedia, undeveloped
• Why followed: highest-ranked hook of the chain — directly extends an existing high-value vault note with primary detail, and closes the loop back to "general problem-solving programs" surfaced in hops 1-3
• Key findings: Lighthill's own stated cause of AI's disappointments is the combinatorial explosion (Claim 1); he separately singles out general problem-solving programs as a specific disappointment (Claim 2); the report caused the UK government to end most university AI funding — a symbolic-AI-specific winter, substantially independent of the Perceptrons/connectionism story.

Verification hop (no new tangent): tried to pull the exact 1973 BBC debate proposition and Shakey-robot-demo detail from Wikipedia and the AIAI Edinburgh event archive — both came back thin (no exact motion wording, no demonstration detail). Treated as the diminishing-returns signal to stop rather than force a fifth substantive hop.

Saved hooks not followed:

• Edward Feigenbaum / expert systems — the other symbolic-AI paradigm and its own separate, later AI winter — from the CBI seed page, saved for a future chain.
• John McCarthy — CBI interviewee and named Lighthill consultee — LISP/situation-calculus thread, saved.
• The full BBC "Lighthill Controversy" transcript (Royal Institution, May 1973) — a strong cultural-resonance candidate (a televised AI-hype debate that reads as contemporary), saved rather than diluting this thread.

post-worthy: yes — primary-sourced material that sharpens an existing high-value vault note (the Perceptrons myth ledger) rather than duplicating it, plus a genuine new bridge between the vault's AI-history cluster and its bounded-rationality note.