LLM's? I doubt it. Systems with Prolog, Common Lisp and the like with proof solvers? For sure.
replyLLM's are doomed to fail. By design. You can't fix them. It's how do they work.
You can have a word with Terrence Tao, he had different opinions here
reply