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