News for hackers. Stuff that matters.

A comment on Lean Now Ships with Verified Kernels. Parent comment

Re:Lean Now Ships with Verified Kernels by AxEy on Sunday October 18, 2026 @12:03AM (#50137812)
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.

[ Parent | on HN ]
Re:Lean Now Ships with Verified Kernels by altmanaltman on Sunday October 18, 2026 @12:42AM (#50137981)
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?
[ Parent | on HN ]
Re:Lean Now Ships with Verified Kernels by eru on Sunday October 18, 2026 @03:55AM (#50138924)
> Or does the human reduce the creativity in this system in your opinion?

Yes. Humans are slow.

[ Parent | on HN ]
Re:Lean Now Ships with Verified Kernels by AxEy on Sunday October 18, 2026 @12:49AM (#50138003)
> 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.

[ Parent | on HN ]