They are releasing their work for the profit of the humanity. They do not like OpenAI claiming credit for it. After all, profit of the humanity and profit of the OpenAI are two different things. Maybe even mutually exclusive at this point.

And lying about whether the proof was done by mathematicians or OpenAI is bad humanity, so.