alt Hacker NewsThe 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 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.
But a human being using LLMs will be much more creative than just LLMs alone right? Or does the human reduce the creativity in this system in your opinion?