[anthk]

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.

[aspenmartin]

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

[karmasimida]

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

[anthk]

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