undefined | Better HN

0 pointsanthk4d 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

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

anthkOP4d ago

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

j / k navigate · click thread line to collapse

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

anthkOP4d ago

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

j / k navigate · click thread line to collapse