What happens to mathematics when AI becames an oracle?

Mathematician Steven Strogatz discusses his new book, Big Math: The Hidden Codes That Run Our World.