> But a human being using LLMs will be much more creative than just LLMs alone right?

I believe so. But the question I was responding to was whether humans working with Lean would be have been more creative.

> Or does the human reduce the creativity in this system in your opinion?

Yes. Humans are slow.