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.

Udostępnij:LinkedInX

Zobacz też

Chcesz nadążać za światem AI?

Uczymy AI i automatyzacji na realnych projektach – bez ściemy, z konkretami.