Dartmouth workshop: Artificial intelligence gets a name

The event and the specific claim

On August 31, 1955, four researchers signed a short funding document titled "A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence." The workshop it described took place the following summer at Dartmouth College in Hanover, New Hampshire. Two things make this a landmark, and they are easy to conflate. The narrow, documented claim is that this is when the phrase "artificial intelligence" was written down as the name of a research program, and when a scattered set of ambitions was gathered under one agenda. The broad historical judgment, that the gathering "founded" a field, is a retrospective reading the participants did not fully earn that summer. The proposal itself is the primary document, and reading it plainly separates what happened from what the anniversary essays later made of it.

Keep those levels apart. The event did not invent neural networks, machine learning, theorem proving, or the idea that machines might reason. Each of those predated 1955. What the proposal did was name a discipline and state a conjecture bold enough to organize decades of work. A careful history asks which constraint the naming removed, which earlier ideas it inherited, and which later results depended on new work rather than on the meeting itself.

What the 1955 proposal actually said

The document was authored by John McCarthy of Dartmouth College, Marvin Minsky of Harvard University, Nathaniel Rochester of IBM, and Claude Shannon of Bell Telephone Laboratories. Its opening request is concrete: the authors propose that "a 2 month, 10 man study of artificial intelligence be carried out during the summer of 1956." The intellectual core is a single sentence that has been quoted ever since: the study would "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." The reprinted proposal in AI Magazine preserves this wording along with the four authors' short biographical statements.

The proposal then enumerated seven topics: automatic computers, how a computer could be programmed to use a language, neuron nets, the theory of the size of a calculation, self-improvement, abstractions, and randomness and creativity. That list is worth reading as an early table of contents for the field. Language use, learning, neural computation, complexity, and self-modification are all still recognizable research areas. The proposal expressed an expectation that "a significant advance can be made in one or more of these problems if a carefully selected group of scientists work on it together for a summer," a confidence in timescale that later proved badly miscalibrated.

The name as an act of field formation

Naming was not incidental; it was the act that did the organizing work. The term is credited to McCarthy, and Stanford's account of his life describes the 1955 proposal as containing "the first use of the term in publication," a phrasing the university repeated in its obituary when McCarthy died in 2011. By his own later recollection, McCarthy wanted a label that would set the new program apart from the surrounding vocabulary of the time, in particular "cybernetics," a term closely identified with Norbert Wiener, and from "automata studies," the neutral heading under which much related work was then being published.

This matters for the history because a name is a boundary. Calling the enterprise "artificial intelligence" asserted that thinking itself, not just feedback, control, or computation in general, was the object of study. It is a stronger and more contentious claim than any single technical result in the proposal. That framing invited both the ambition and the periodic backlash that have accompanied the field ever since. The event's most durable product was arguably this vocabulary, which outlasted the specific research plans attached to it.

It is tempting to look for a technical breakthrough at Dartmouth and be disappointed. The right reading is that the contribution was organizational and conceptual. Before 1956, work on machine reasoning was dispersed across cybernetics, information theory, mathematical logic, neurophysiology, and the young discipline of automata theory. These communities shared questions but not a common banner, a shared literature, or a name that a young researcher could put on a career. The proposal supplied all three at once.

An analogy helps without overstating the case. A field can possess most of its future tools and still lack the coordinating fiction that lets people recognize they are working on the same problem. Naming provides that coordination: it defines who is in the conversation, what counts as progress, and where the open problems sit. The Dartmouth proposal did not make the underlying computers more capable. It made a research identity available. That is a real and consequential kind of contribution, but it is a different kind from a new algorithm or a new theorem, and conflating the two is the most common error in popular retellings.

The predecessors the proposal inherited

The proposal stood on visible shoulders. Alan Turing's 1950 essay had already proposed replacing the question "can machines think" with an operational imitation game and had argued at length against the standard objections; Turing's paper in Mind is the philosophical charter that the Dartmouth group could take as given. The "neuron nets" topic pointed directly back to the 1943 work of Warren McCulloch and Walter Pitts, whose logical calculus of nervous activity showed that networks of simple threshold units could compute logical functions. Shannon's own information theory and Wiener's cybernetics supplied the surrounding intellectual climate, and Minsky had already built a physical reinforcement-learning machine, the SNARC, as a graduate student.

Recognizing this lineage does not diminish the event; it sharpens the claim. The proposal was not a first discovery of the idea that machines might simulate aspects of thought. It was a synthesis and a rebranding that pulled these strands under one heading and one testable conjecture. The honest formulation is that Dartmouth gave a name and an agenda to a program whose raw ingredients were already circulating, much as later architectural milestones reorganized components that individually existed beforehand.

The proposal's specific topics also reveal how much of the future was already visible in outline. The line on how "a computer be programmed to use a language" anticipates natural language processing; the "self-improvement" heading gestures at machine learning; and the "neuron nets" item keeps a connectionist thread alive that would recede during the symbolic decades and return forcefully much later. The document did not resolve any of these, but it is striking how little the field's map of hard problems has changed. What shifted over seventy years was which of these approaches happened to be tractable given the computers, data, and mathematics available at a given moment.

What actually happened that summer

The reality of the workshop was looser than the word "conference" suggests. Rather than a fixed meeting with a schedule and proceedings, it was closer to an extended, fluid gathering across much of the summer, with participants arriving and departing at different times. Alongside the four proposers, attendees at various points included Arthur Samuel, whose checkers program pioneered machine learning through self-play, Allen Newell and Herbert Simon from the RAND Corporation and Carnegie, Oliver Selfridge, Trenchard More, and Ray Solomonoff, who stayed longest and pursued his early ideas on inductive inference. Dartmouth's own institutional account treats the summer as the moment the term was coined and the field was launched.

The gathering produced less consensus than its organizers had hoped. There was no unified theory at the end, no agreed research program beyond the name, and the different camps, notably the logic-and-symbols orientation of Newell and Simon versus other participants' interests, did not merge into one school. Retrospective assessments, including James Moor's review at the fiftieth anniversary, are candid that the meeting fell short of its stated aim of a collective breakthrough. Its importance lay less in what was decided than in the fact that the people who would build the first AI laboratories were, briefly, in the same place under the same banner.

The program two visitors brought: the Logic Theorist

If the workshop had a concrete technical highlight, it was a program the two Carnegie visitors brought with them. Newell and Simon, working with the programmer Cliff Shaw, had designed the Logic Theorist, a system for proving theorems of propositional logic from Whitehead and Russell's Principia Mathematica by selective, heuristic search. Newell and Simon's account of the Logic Theory Machine describes it as a complex information-processing system, and it is widely regarded as the first artificial intelligence program. How far it was running that summer is less certain than the usual story: Simon later dated a running program to the summer of 1956 in his memoir of Newell, while the 1956 account itself covers the specification and leaves machine results to later papers. Those results came in February 1957, when Newell, Shaw and Simon reported that it had proved 38 of the first 52 theorems in Chapter 2. The Logic Theorist dossier follows that record in detail.

The Logic Theorist also illustrates why credit should be traced carefully. It was conceived and built as part of Newell, Shaw and Simon's own work, not produced by the assembled group during the summer. Its presence at Dartmouth is often cited as the meeting's most tangible result, yet it is more accurate to say the workshop was where an already-developing line of research was shown to the community that the proposal had just named. This distinction, between an event and the independent work displayed at it, recurs throughout the early history of the field.

The money and the modest expectations of the funders

The gap between the proposal's ambition and its reception is visible in the budget. McCarthy sought support from the Rockefeller Foundation, and the request was for roughly $13,500 to fund a two-month study. The Foundation was unpersuaded of the near-term promise and granted about $7,500 for a shorter engagement. Its records preserve the cautious internal verdict: as the Rockefeller Archive Center recounts, the officer Robert Morison wrote that "the general feeling here is that this new field of mathematical models for thought, though very challenging for the long run, is still difficult to grasp very clearly."

That sentence is a useful corrective to origin-myth framing. The founders of the field could not fully articulate what they were funding, and the funders could not clearly see it either. The event is remembered as monumental, but at the time it was a modestly resourced summer study whose backers hedged their bets. Historical significance and contemporary confidence are different things, and the two should not be read back onto each other.

The documented downstream influence

The strongest evidence for the event's importance is not what happened that summer but what the participants did afterward. McCarthy went on to invent the LISP programming language in 1958 and to help found the AI laboratories at MIT and later Stanford; Minsky co-founded and led AI work at MIT; Newell and Simon built the school of research at Carnegie that produced cognitive modeling and, later, a Turing Award for both. The name they had adopted became the label for departments, journals, conferences, and funding lines. The word did the institutional work that outlasted any specific 1956 result.

The conjecture, too, proved durable as an organizing hypothesis, precisely because it is broad enough to frame very different programs. Symbolic reasoning, connectionist learning, and statistical methods can all be read as attempts to make some aspect of intelligence "so precisely described that a machine can be made to simulate it." Institutions still date the field to this meeting: the Rockefeller Foundation, revisiting the topic, marked seventy years since what it called the birth of AI, and Dartmouth continues to present the summer of 1956 as its founding moment.

The honest limits and the seeds of later overreach

Several caveats should travel with the story. The proposal is dated 1955 and the workshop occurred in 1956, so casual references to "the 1956 proposal" mislead about the sequence. The meeting neither invented the ideas it listed nor produced general intelligence, and it did not even achieve the consensus its authors sought. Its most quoted line about achieving "a significant advance" in a single summer was, on its own terms, wrong: the problems it named remained open for decades, and several remain open now.

That misjudgment of timescale was not harmless. The confident, near-term optimism visible in the proposal set a pattern of overpromising that contributed to later disappointment and to the funding contractions remembered as the "AI winters." Reading the founding document honestly means holding two facts together: the framing was visionary and largely correct about the questions worth asking, and it was consistently mistaken about how quickly those questions could be answered. Treating the event as an unqualified triumph obscures the more instructive lesson about calibration.

How to place the event in AI history

The defensible summary is that Dartmouth 1956 was a naming and agenda-setting event, sometimes described as a constitutional moment, rather than a technical breakthrough. It gave a dispersed research community a shared name, a compact list of problems, and a conjecture ambitious enough to sustain generations of work. The narrow claim, that the term "artificial intelligence" was coined here and a discipline was declared, is well documented. The wider claim, that everything since flowed from this room, is a simplification that the record does not support.

To navigate outward from this point in the timeline, three questions are more useful than any single verdict. Which earlier idea did the proposal inherit and merely rename, from Turing's imitation game to McCulloch and Pitts's neuron nets? Which later project did the real technical work the name promised, from the Logic Theorist to the learning systems and language models of subsequent decades? And which of the seven original topics remains genuinely unsolved? Asking those keeps the founding meeting in proportion: it matters because it organized a research trajectory, gave it a name that stuck, and stated a conjecture worth arguing about, not because it delivered the intelligence it set out to describe.

References

• McCarthy, Minsky, Rochester and Shannon (1955). A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence.
• McCarthy, Minsky, Rochester and Shannon (2006). A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, August 31, 1955.
• Moor (2006). The Dartmouth College Artificial Intelligence Conference: The Next Fifty Years.
• Dartmouth College (2023). Artificial Intelligence (AI) Coined at Dartmouth.
• Dartmouth College Admissions (2023). Dartmouth and the Dawn of AI.
• Turing (1950). Computing Machinery and Intelligence.
• McCulloch and Pitts (1943). A Logical Calculus of the Ideas Immanent in Nervous Activity.
• Newell and Simon (1956). The Logic Theory Machine: A Complex Information Processing System.
• Newell, Shaw and Simon (1957). Empirical Explorations of the Logic Theory Machine: A Case Study in Heuristic.
• Simon (1997). Allen Newell, Biographical Memoirs of the National Academy of Sciences.
• Rockefeller Archive Center (2023). A Roomful of Brains: Early Advances in Computer Science and Artificial Intelligence.
• Stanford University (2011). Stanford's John McCarthy, seminal figure of artificial intelligence, dies at 84.
• The Rockefeller Foundation (2026). Seventy Years After the Birth of AI, the Work Begins.