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

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).