Logic Theorist

Presented at the 1956 Dartmouth workshop by Allen Newell, Herbert A. Simon, and Cliff Shaw. Considered by some the very first AI program, it could prove mathematical theorems and find new, shorter proofs.