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.

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

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

	▲	anthk 23 days ago \| parent [-]
		Yeah, and Knuth, but that's a fallace of authority. Wait until the errors raise.