1. OpenAI do model training on verifiable tasks that push the boundaries.
2. The work from the previous step produces groundbreaking results.
3. OpenAI can keep the unpolished results private, publish them or branch off a mathematics research arm which produces human-level quality of output. I think they should be free to not do that last one.
And it's been less than a month, it would be shocking for any of it to have practical value, even when we take into account the fact that most new mathematical proofs have no practical value whatsoever for a very long time. Take the previous few hundred proofs produced by humans recently and show me their practical value.
The novel thing is the production of proofs in a way that isn't coupled with the simultaneous expansion of human understanding. Mathematicians are massively affected in how they work and what their careers will look like but they're not victims that OpenAI has somehow maliciously targeted like some of the discourse seem to imply.