No, OpenAI heard about a pair of researchers who were getting close to solving the problem and spent $22M on compute power to scoop them.
Even more concerningly, the researchers had been using OpenAI's codex model in their earlier work, meaning that OpenAI's model may have literally directly trained from and ripped off their work.