What's the Future for Pure Math Research in the Age of AI?