Hacker News with Generative AI: Symbolic Logic

Symbolic Logic Based LLM (ycombinator.com)
Why big AI labs not building LLM that fully trained on Symbolic logic instead of Natural language?
Symbolic Logic, Artificial Intelligence
5 points by sandeeptshelvan 43 days ago | 1 comments
Obituary for Cyc (yuxi-liu-wired.github.io)
The legendary Cyc project, Douglas Lenat’s 40-year quest to build artificial general intelligence by scaling symbolic logic, has failed.
Artificial Intelligence, History, Symbolic Logic, AI Research
449 points by todsacerdoti 80 days ago | 282 comments