The first AI program was likely the Logic Theorist (LT) written by Allen Newell, J.C. Shaw and Herbert A. Simon in 1956. This program was deliberately engineered to perform automated reasoning and eventually proved 38 of the first 52 theorems in Russell and Whitehead's Principia Mathematica, finding new and more elegant proofs for some.
However, there are a few other early AI programs that also have strong claims to being the first:
-
In 1951, Christopher Strachey wrote the first working AI program, a checkers-playing program, to run on the Ferranti Mark 1 machine at the University of Manchester.
-
In 1952, Arthur Samuel (IBM) wrote the first game-playing program for checkers (draughts), which achieved sufficient skill to challenge a respectable amateur.
-
In 1961, James Slagle (MIT PhD dissertation) wrote the first symbolic integration program called SAINT in Lisp, which solved calculus problems at the college freshman level.
So while the Logic Theorist is often called the first AI program, the checkers programs from 1951-1952 and the SAINT calculus program from 1961 also have strong claims as some of the earliest AI systems. The field of AI research was officially founded at the Dartmouth College workshop in 1956, where the term "artificial intelligence" was coined.
Answered August 07 2024 by Toolify
