Signed in
We value your privacy
This site uses cookies to improve your browsing experience, analyze site traffic, and show personalized content.
The first AI program is considered to be the Logic Theorist, created in 1955 by Allen Newell, Herbert Simon, and Cliff Shaw: The program was designed to mimic human problem-solving skills by performing automated reasoning. It was able to prove 38 out of 52 mathematics theorems and find new proofs for some of them.