AI in 1956
2 milestones in artificial intelligence
ResearchTheoretical Foundations
Logic Theorist: The First AI Program
Newell and Simon created the Logic Theorist, often called the first AI program. It could prove mathematical theorems from Whitehead and Russell's Principia Mathematica — and even found a more elegant proof than the original for one theorem. It was debuted at the Dartmouth Conference.
Allen NewellHerbert A. SimonRAND CorporationCarnegie Tech
ResearchThe Birth of AI
The Dartmouth Conference
A two-month workshop at Dartmouth College where the term 'Artificial Intelligence' was officially coined. The proposal stated: '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 gathering brought together the founders of the field.
John McCarthyMarvin MinskyDartmouth CollegeMIT