Mathematicians also decide what to prove in their research - taste is not a skill we have RLVR'd away (yet, not claiming this is fundamental).
Of course, the field is being fundamentally transformed, it will probably end up looking more like experimental science in the future.
As a software engineer, my mental model so far is that OpenAI made a gigantic (but potentially sound) pull request to the math community, and the mathematicians just did not have enough bandwidth to review and merge it.
If my model is correct, I guess it makes a lot of sense to fund mathematicians, because their lack of resource is the bottleneck here.
All I'm saying is the math advances of late really hasn't changed much outside of math as far as AI is concerned.
Robotics is likely to follow a similar trajectory. You can say that robotics is not clinical like mathematics is, yet it kind of is, you can create simulated training environments of any complexity.