282
Computers make mistakes and AI will make things worse — the law must recognize that
(www.nature.com)
This is a most excellent place for technology news and articles.
You might be presenting it backwards. We need LLMs to be right-sized for translation between pure logical primitives and human language. Let a theorem prover or logical inference system (probably written in Prolog :-) ) provide the smarts. A LLM can help make the front end usable by regular people.