What it Means to Be a Mathematician When AI Does the Math https://spectrum.ieee.org/ai-in-mathematics