Der Logic Theorist war das erste Programm, das mathematische Theoreme beweisen konnte und als 'künstlich intelligent' galt.