If you study how AlphaGeometry works, you will see that LLM part of it generates ideas that math part explores, and so going loop after loop. So yes, AI can be way more creative than an average human.