undefined | Better HN

0 pointsanthk1mo ago0 comments

LLM's? I doubt it. Systems with Prolog, Common Lisp and the like with proof solvers? For sure.

LLM's are doomed to fail. By design. You can't fix them. It's how do they work.

0 comments

3 comments · 2 top-level

karmasimida1mo ago· 1 in thread

You can have a word with Terrence Tao, he had different opinions here

anthkOP1mo ago

Yeah, and Knuth, but that's a fallace of authority. Wait until the errors raise.

Care to be more specific here or do you prefer to be vague and wrong

j / k navigate · click thread line to collapse