Let mathematicians do the AI-supported research on their own incentive at their own pace? What leaves a bad taste is that OpenAI doesn’t do this because they care about the actual math. Especially when they are leaving the necessary work of properly verifying, understanding, and writing up in an intelligible manner the proofs, up to the math community.

People would be more sympathetic if this was an alien race sharing their math results in not-quite-intelligible-to-us papers, because there at least we could assume that the aliens cared about the math and did their best to transmit their understanding to us.