if you put infinite monkeys at infinite typewriters, one of them will eventually write a proof of something.

Okay, but that’s not what OpenAI is doing.

that doesn’t make that monke […] a mathematician

Nor is OpenAI a mathematician, but the article isn’t claiming that it is.