I don’t blame OpenAI for that. There’s a ton of weirdly politically motivated denial of AI being useful for solving problems that require new answers. This is one of the very few possible ways to objectively prove that AI can do that.
Really, mathematicians should be thrilled about this, as this could be the biggest practical payoff of thousands of years of investment in math, bigger even than all the preceding science and engineering payoffs. We're told one of the benefits of a math education is learning how to think; was it really so unpredictable if that also applied to machines? This sort of payoff would justify wide open checkbooks for more math research, even by humans.