One big problem here is that OpenAI would be hoarding this ability by 1) not releasing their top models for public use,as we have already seen them do, and 2) limiting the capability of the public API, which we have also seem them do.
This not only kills incentive for math, it means that OpenAI becomes the arbiter of math and research for the world. The research that will be done is the research OpenAI decides to do.
This seems very dangerous to me.
Another path forward is distributed local models. Professors can do research on their HPC machines, individuals can have full access to their models. It's a much more democratic approach.