The first AI-driven project was the Logic Theorist, developed by Herbert Simon and Allen Newell in 1955. It was a programme that could prove mathematical theorems using heuristic rules and symbolic logic.