Well that's not true - see the Terry Tao article using AlphaEvolve to discover new proofs.

Additionally, "novel ideas" isn't something that is included in something that smart people do so why would it be a requirement for AI.