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?
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.