3/14: Logic Theorist 1956 Allen Newell und Herbert Simon entwickelten den Logic Theorist, oft als erstes echtes KI-Programm bezeichnet. Es bewies mathematische Sätze aus den Principia Mathematica von Russell und Whitehead, teilweise eleganter als die Originalbeweise. Grundlage war eine Suche durch mögliche Beweisschritte statt reiner Berechnung. #KI #LogicTheorist