1955
Work begins on a program that searches for mathematical proofs.
Symbolic reasoning becomes a working software project.
Explore on Humanity Unfolds
