> 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.

just wait till someone builds a idea generator model - wire it to decision (jev-like) classifier -> loop it back to researcher

>> may be thats what open ai did :)