AI-powered breakthroughs are raising big questions about how to do mathematics – and why we do it in the first place.