> i wonder what it means for maths researchers, and how it aligns with how they approach math problems.

I guess their job now is "Idea Man" and "Error Checker"? Kinda like (some/many) "programmers" these days.