33
/es/
AIzaSyAYiBZKx7MnpbEhh9jyipgxe19OcubqV5w
August 1, 2025
8496413
809611
2
Public Timelines
Public TimelinesFAQ
Public TimelinesFAQ
For educational institutions For teachers For students Cabinet
For educational institutions For teachers For students Open cabinet
Crear
Create a timeline
Public timelines
Library
FAQ

1 ene 1956 año - Logic Theorist demonstration

Descripción:

Developed by Allen Newell and Herbert A. Simon, the Logic Theorist is demonstrated in 1956 as the first AI program capable of proving mathematical theorems. Using heuristics and symbolic reasoning, it establishes the potential of computers in solving complex problems.

Añadido al timeline:

AI Timeline: News and Events from 1950 - 2025 that have defined Artificial Intelligence

ByAndrew Spoeth
hace 4 días
1
0
27756

fecha:

1 ene 1956 año
Ahora mismo
~ 69 years ago

Fotos:

About & FeedbackAcuerdoPrivacidadBibliotecaFAQ
Support 24/7  
CabinetGet premium
Donate
The service accepts bank transfer (ACH, Wire) or cards (Visa, MasterCard, etc). Processed by Stripe.
Secured with SSL