you’ll see that the equation was solved using preexisting theories and formulas. Ergo, humans had already manufactured every individual piece of the puzzle, and had used them in other contexts that the AI could be fed and then reuse.
That's exactly how humans solve problems too. We don't need to create entirely new languages and numeral systems, then write completely novel proofs for all the most basic theorems of math, before we can get credit for a new application of existing theorems that we discovered.
When MC Hammer (rather, his producer) sampled Rick James for “Can’t touch this”, did he become the bass player? No, that was still Rick James, they just took his song and altered it to make theirs.
And yet people to this day know it as the riff from Can't Touch This...
"I went ahead and did it."