AI milestones in 1955
2 documented milestones from 1955.
The Logic Theorist: first automatic theorem-proving program, developed by Newell, Shaw, and Simon
In late 1955, Allen Newell, J. Clifford Shaw, and Herbert A. Simon at RAND Corporation and Carnegie Institute of Technology completed the Logic Theorist, a computer program that proved mathematical theorems from Whitehead and Russell's Principia Mathematica by heuristic search, establishing that symbolic reasoning could be mechanised.
John McCarthy Coins the Term 'Artificial Intelligence' in the Dartmouth Conference Proposal
In 1955, John McCarthy of Dartmouth College, together with Marvin Minsky, Nathaniel Rochester, and Claude Shannon, submitted a proposal to the Rockefeller Foundation for a summer research workshop, introducing the term 'artificial intelligence' and framing machine intelligence as a formal field of scientific inquiry.