WydarzenieFundamenty
Logic Theorist – pierwszy program AI
1955 · Fundamenty
Pierwszy program, który 'rozumował'. Jeden dowód wyszedł mu elegantszy niż człowiekowi.
Pierwszy program komputerowy, który dowodził twierdzenia matematyczne. Często nazywany 'pierwszym programem AI'.
Po co Ci to
Pokazuje, że ambicja 'maszyna, która rozumuje' ma 70 lat, nie 3.
