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