Ya sure let's just posit another random hypothesis about evolutionary biology in order to substantiate the claim that LLMs are intelligent.
Or (bear with me) you can recall your (likely) experience proving stuff like SAS triangle identities and reflect on whether that required intelligence or just computation.
What's more reasonable?
That would be like saying Shakespeare isn’t creative , since grade school grammar doesn’t feel creative
On some level, I think the most straightforwardly creative work in maths comes from building up useful generalizations; I can't see current LLMs inventing even something as straight forward as a manifold from first principles; but I also don't think that's fundamentally required to prove useful things, I think it's more of a shortcut for humans.
The space of mathematical statements is infinite. Having the taste, insight, and creativity to reach points in that space that are meaningful to humans is the entire game