So I see someone dedicating a sizeable portion of their life on a discovery and not being credited is the problem here. Otherwise it would be published in a journal anyway.
When your work is unimportant enough for you to not setup a local AI, just shut up.
If Google or Microsoft suddenly got in the business of publishing books, and mined established authors' works in progress for material to publish, that would also be a bad look, even though we know that they likely have access to our files.
This kind of bribing attempt doesn't seem to come from the "good side"
Just like their "oops we hacked hugging face".
Everything OpenAI does is to drive hype. They aren't honest or a good actor but they sure have good hype.
2. There was a $1,000,000 reward
Anyone with a decent amount of social power is aware and skilled at maintaining these conditions whether consciously or not.
The praxes are non-trivial: awareness, bravery, flexibility, and seflessness.
This could be summarized as "unhealthy competition."
And lying about whether the proof was done by mathematicians or OpenAI is bad humanity, so.