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