This is a very reductive take; there are so many other options available to OpenAI, many already suggested to them, here are a few of the many other options they have:
Spend the time (as mathematicians do) to cleanup, verify and explain properly any results they have found.
Pay mathematicians to spend their time doing the above with the results they do have.
Improve their LLMs so that they can do the work properly.
Dumping unverified results like this on the community and wasting other people's time with the gibberish their LLMs have produced is the height of hubris, but it leads to a good headline for the IPO.
Spend the time (as mathematicians do) to cleanup, verify and explain properly any results they have found.
Pay mathematicians to spend their time doing the above with the results they do have.
Improve their LLMs so that they can do the work properly.
Dumping unverified results like this on the community and wasting other people's time with the gibberish their LLMs have produced is the height of hubris, but it leads to a good headline for the IPO.