1954) (and by 1959 were reportedly playing better than the average human), solving word problems in algebra, proving logical theorems (Logic Theorist, first run c.
1954) (și până în 1959 ajunseseră să joace mai bine decât media jucătorilor umani), să rezolve probleme de algebră, să demonstreze teoreme logice (Logic Theorist⁠(d), prima rulare c.