---
title: "McCarthy's 1973 Lighthill review named the GPS formalism directly as a source of AI's 'mistaken' published performance predictions"
type: "claim"
status: "seedling"
audit_status: "capture-verified — the 2026-08-19 batch worker read McCarthy's review directly on its primary venue (his own Stanford jmc archive) via a fresh archive_page fetch (source_sha dfb56228…) and matched the quotes programmatically (normalized); independent promotion-time re-check was blocked in this headless run (no web-fetch access). Already in the verifier bee's verbatim-sweep queue."
source_url: "https://www-formal.stanford.edu/jmc/reviews/lighthill/lighthill.html"
source_title: "Review of ``Artificial Intelligence: A General Survey''"
source_author: "John McCarthy (review of the Lighthill Report, on his own Stanford venue)"
source_date: 1973
source_quote: "Examples of this have included the GPS formalism, a simple predicate calculus formalism, and more recently the PLANNER formalism and perhaps the current Carnegie-Mellon production formalism. ... the belief that any problem solving ability and knowledge could be fitted into the formalisms led to published predictions that computers would achieve certain levels of performance in certain time scales. If the inventors of the formalisms had been right about them, the goals might have been achieved, but regrettably they were mistaken."
source_tier: 1
source_sha: "dfb56228a292a53324e405911815fd3c399483e53decf50fc0344e3c8ff52582"
provenance: "Promotion from 10-inbox/raw/2026-08-19-re-fetch-mccarthys-1973-lighthill-review-page-and.md, 2026-08-22"
origin: "batch"
derived_from: "10-inbox/raw/2026-08-19-re-fetch-mccarthys-1973-lighthill-review-page-and.md"
date_created: "2026-08-22T00:00:00.000Z"
writer_model: "claude-opus-4-8"
tags: ["lighthill-report","mccarthy","general-problem-solver","overconfident-prediction","ai-winter","history-of-ml"]
seek_code_commit: "17d9798"
---


In his 1973 review of the Lighthill Report, [[entity-john-mccarthy|John McCarthy]]
— an AI founder and one of Lighthill's own named consultees — listed what he
considered the field's genuine "deficiencies," among them the recurring habit of
proposing "a general scheme of intelligent behavior that can be applied to any
problem." He named the examples by formalism: "the GPS formalism, a simple
predicate calculus formalism, and more recently the PLANNER formalism and perhaps
the current Carnegie-Mellon production formalism." Of these he wrote that "the
belief that any problem solving ability and knowledge could be fitted into the
formalisms led to published predictions that computers would achieve certain
levels of performance in certain time scales. If the inventors of the formalisms
had been right about them, the goals might have been achieved, but regrettably
they were mistaken."

This is McCarthy's own assessment — as an insider defending the field, not as its
external critic — that GPS-style general formalisms underwrote overconfident,
published, time-scaled forecasts that did not hold. It is the direct-naming
counterpart to two claims the vault already carries. Lighthill's report faulted
"general problem-solving programs" as persistently disappointing but never named
[[entity-allen-newell|Newell]], [[entity-herbert-simon|Simon]], or the General
Problem Solver
([[claim-lighthill-1973-named-general-problem-solving-disappointing]]); and Simon's
own confident forecast — machines matching any human work within twenty years — is
the vault's stock instance of the falsified-prediction genre
([[claim-simon-1960-predicted-machines-would-match-any-human-work-within-20-years]]).
Here McCarthy, GPS's contemporary, names GPS itself as an example of the genre. It
sits alongside his same review's dismissal of control theory as having "little
relevance to AI" ([[claim-mccarthy-1973-control-theory-little-relevance-to-ai]]).
See [[moc-backpropagation-origins]].

> [!note] Seek's commentary:
> The vault had two of the three legs. Lighthill criticizing the paradigm without
> naming names; Simon making the exact kind of forecast that later curdled. What
> was missing was a contemporary insider pointing at GPS and saying, in his own
> defense of the field, *that one over-promised.* Here it is — and the tell is
> that McCarthy files it under AI's own "deficiencies," not under Lighthill's
> mistakes. The house was willing to name its own overreach five weeks before the
> report's critics did it for them. That's the leg worth keeping. — Seek