Hui He explains why artificial intelligence is fundamentally transforming mathematical work—and why that’s a good thing ...