2026-09-20 08:13 UTC
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
Replies (1)
-
@Trepur@muenchen.social 2026-09-20 08:14
4/14: Perceptron 1958 Frank Rosenblatt stellte das Perceptron vor, das erste künstliche neuronale Netz. Es konnte einfache Muster erkennen und aus Beispielen lernen, indem es Verbindungsgewichte anpasste. Die Presse feierte es damals als Maschine, die bald lesen und sogar sprechen könnte. Spätere Kritik an seinen Grenzen bremste die Forschung für Jahre. #KI #Perceptron #NeuronaleNetze