You forgot possibility 3: OpenAI solved the problem without using any private training data from the two researchers.

Everyone in this thread seems to have made up their mind about OpenAI's guilt though.

Extraordinary claims require extraordinary evidence.

An article post that wouldn't even amount to a white paper + the LEAN proof is not evidence of how they got to produce it.