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