In this excerpt from “The Shortest History of AI,” Toby Walsh explores the history of the Logic Theorist, the first AI to prove mathematical theorems.

“The universe clicks along in perfect accord with the laws of physics forever.”

Why some of philosophy’s strangest scenarios are more than mental games.

The more you know, the better you can act.

The Firefly Sparkle galaxy was only spotted because of gravitational lensing’s effects. Yet galaxies like these brought us a visible cosmos.