1956
Logic Theorist — First AI Program
Allen Newell, Herbert Simon, and Cliff Shaw build the Logic Theorist at RAND — widely regarded as the first artificial intelligence program. It proves theorems from Whitehead and Russell's Principia Mathematica, in one case finding a more elegant proof than the original.
RAND Report (PDF)