The Dartmouth Workshop (1956)
🏫 The Dartmouth Workshop (1956)
📝 The Proposal (1955)
In the summer of 1955, four researchers — John McCarthy, Marvin Minsky, Nathaniel Rochester, and Claude Shannon — submitted a funding proposal to the Rockefeller Foundation for a summer research project the following year at Dartmouth College. Its opening line is now one of the most quoted sentences in the field's history:
"We propose that a 2 month, 10 man study of artificial intelligence be carried out during the summer of 1956 at Dartmouth College... The study is to proceed on the basis of the conjecture that every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it."
This is the document that coined the term "artificial intelligence" itself. McCarthy chose the phrase deliberately — partly to distinguish this new proposed field from "cybernetics," an existing research program associated with Norbert Wiener that covered related but distinct ground (feedback and control in both machines and biological systems), and McCarthy wanted a name that wouldn't tie the new field to Wiener's specific framework or institutional territory.
🧑🤝🧑 What Actually Happened That Summer
Popular retellings sometimes imagine Dartmouth as a grand, formally structured conference. In reality, it was a loosely organized, informally attended summer workshop — participants came and went over roughly six to eight weeks, attendance at any given moment was far smaller than the proposal's "10 man" target, and there was no fixed daily agenda in the way a modern academic conference would have one.
Beyond the four proposal authors, other attendees over the summer included Allen Newell and Herbert Simon (who would go on to be hugely influential in early AI and cognitive science), Arthur Samuel (known for pioneering machine learning work on checkers-playing programs), Trenchard More, Ray Solomonoff, and Oliver Selfridge. It was a small, informal gathering of a handful of researchers who would go on to define the field for decades — not a large, well-attended event by the standards of modern conferences.
🧠 The Logic Theorist — Arguably the First Real AI Program
Newell and Simon brought something genuinely remarkable to Dartmouth: the Logic Theorist, a program capable of proving mathematical theorems from Bertrand Russell and Alfred North Whitehead's Principia Mathematica — and, in at least one case, finding a proof more elegant than the one in the original text. It's widely regarded as the first program that could reasonably be called "artificial intelligence" in a substantive sense: not a fixed calculation, but a system searching through possibilities to find a valid logical proof, a genuinely different kind of computation than anything that had come before it.
⚠ The Seeds of Later Trouble
Read the proposal's opening line again: the founders genuinely believed a two-month summer project could make serious, foundational progress toward simulating "every aspect of learning or any other feature of intelligence." This wasn't unusual caution followed by pleasant surprise — it was the field's founding document setting an extraordinarily optimistic tone from day one. That same pattern — bold, confident predictions about how soon general machine intelligence would arrive — recurs constantly throughout the rest of this course, and directly sets up Chapter 5's First AI Winter, when funding bodies eventually ran out of patience with promises like this one going unfulfilled on schedule.
🏛️ Legacy
Despite falling enormously short of its proposal's stated ambitions within the actual two months, Dartmouth is near-universally cited as the formal founding event of AI as an organized academic field — the moment it got a name, a founding document, and a small core group of researchers who would go on to establish the field's major institutions. McCarthy later founded the Stanford AI Lab; Minsky co-founded the MIT AI Lab. The workshop didn't solve intelligence in a summer, but it did something arguably more durable: it created a community, a shared vocabulary, and an institutional foothold for the decades of research that followed.
The gap between Dartmouth's founding optimism and what the field could actually deliver on that timeline is the first instance of a pattern that repeats at least twice more in this course: bold promises, genuine early progress, then a harder-than-expected wall, followed by disappointed funders pulling back. Keep this proposal's opening line in mind heading into Chapter 5.
🤔 Questions to Sit With
The Dartmouth proposal's core conjecture — that intelligence can "in principle" be precisely described and simulated — is a philosophical claim, not just a technical one. Do you think that claim has actually been settled by anything covered so far in this course, or is it still an open question?
McCarthy deliberately chose "artificial intelligence" over the already-established "cybernetics," partly for institutional/branding reasons. How much do you think the name a field gets called shapes how it's perceived and funded, independent of the actual research being done?
The Logic Theorist could find genuinely novel, more elegant proofs than the textbook it was drawing from. Does that count as creativity, in your view — and if not, what would you want to see from a machine before you'd call it creative?
🎯 What's Next
Next chapter: Early Programs — the Logic Theorist's successor, the General Problem Solver, and the chatbot that fooled people into thinking it understood them: ELIZA.