What happens to mathematics when AI becomes an oracle?

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