Hacker News new | ask | show | jobs
by lproven 76 days ago
Pioneering and seminal early Lisp AI work, ~50 years before LLMs. From the mind behind the Cyc project.

https://en.wikipedia.org/wiki/Automated_Mathematician