In 1956, Allen Newell and Herbert A. Simon developed the Logic Theorist, often considered the first artificial intelligence program. Designed to mimic the problem-solving skills of a human, it was capable of proving mathematical theorems from Principia Mathematica. The program was groundbreaking in its use of heuristic search techniques, which laid the foundation for future AI developments.