The speed matters massively. Also it seems that LLMs are... getting to be quite creative.
The point is that the there has to be an idea to try to check. Lean does not give you that.
The point is that the there has to be an idea to try to check. Lean does not give you that.
I believe so. But the question I was responding to was whether humans working with Lean would be have been more creative.
Yes. Humans are slow.