1 janv. 1956 - Logic Theorist demonstration
Description:
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.Ajouté au bande de temps:
Date:
1 janv. 1956
Maintenaint
~ Il y a 69 ans