The more I sit on it, the more enraged I am about the news.
They most likely stole the result. They dropped a massive proof with no human understanding it (come on, how many can understand math at that level? 5 world wide? And definitely none at OpenAI), they dropped hundreds of thousands of line of validation (see above), burned a significant fraction of the metaphorical Amazon in the process, dumped more money than most math departments yearly budgets, and claimed victory.