From the coauthor of Algorithms to Live By, an exploration of the quest to use mathematics to describe the ways we think, from its origins three hundred years ago to the ideas behind modern AI systems and the ways in which they still differ from human minds.