Skip to content
TAG

#heuristic-search

1 event tagged with this keyword

1956Software

Logic Theorist: First AI Program

Allen Newell and Herbert Simon create Logic Theorist, the first AI program capable of proving mathematical theorems.

#theorem-proving#heuristic-search#newell