> they trained the model on the prompts of the other mathematicians they were competing with

How would they have gotten that mathematician's progress though? Did that guy also use OpenAI?

If that's the case, it only strenghtens their claims lol. If mathematician decide to use OpenAI's model to do the work, that only reiterates how strong their models are.