You interpretation of my comment is either very biased or just made in bad faith.

The claim made by Open AI has two necessary components. The first one is that the conjecture had been disproven. (This is what had been verified by "real human mathematicians".) The second necessary part of their claim is that the work to disprove the conjecture was done mostly by their AI model rather than by people employed by Open AI.

Funny thing is that even the explainer on OpenAI's own website points out the issue:

"This result does not show us all the times AI has claimed to have a proof of something and been wrong."

"I believe if the level and type of human expertise that is represented on this note had been assembled to find a counterexample to this conjecture a month ago, and those people put in similar amounts of time working on it than they did to reading and thinking about Chat GPT’s solution, the mathematicians would have found a counterexample."

[1] https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29a...