So, the premise is that there just happened to be hundreds of mathematicians who were close to solving these hundreds of long-standing unsolved problems with Codex all in the last few months, and OpenAI trained on all their chats to scoop them?

Well, I do suppose the probability of that is non-zero... ;-)