How do you expect mathematicians to "embrace" OpenAI having unreleased models that are much better at solving big-ticket problems than they are?

Maybe some math departments could pay OpenAI for access to their models, but I doubt OpenAI would want to deal with most of them.

I am not pro closed models, that I do not endorse.