Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover
Comments
Signal weather
The story has moved beyond the first headline and now acts as a reliable context anchor.
Why now
This story is still moving and pulling follow-up coverage.