> humans couldn't.

There's allegations right now that the model essentially read the work of a human mathematician using AI to work on the problem and OpenAI is presenting his work as that of their model

That is how the PR reads, but is not at all what happened.

A team of highly trained and skilled people used an AI tool, through many many instructions (prompts), to produce a specific mathematical theorem. The tool is impressive, the result (possibly/probably) interesting, but the PR skips the vital role of the humans (for the usual PR reasons).

I'm tired of this, but please read the post of Tao. It’s listed in the top comment of this thread.