Seems likely that we were on the right track, it just took 40 years for computer...

		fzzzy 14 hours ago \| parent \| context \| favorite \| on: Automated reasoning to remove LLM hallucinations Seems likely that we were on the right track, it just took 40 years for computers to get good enough.