Comment on Douglas Lenat's Automated Mathematician Source CodeparentComments−lproven5moPioneering and seminal early Lisp AI work, ~50 years before LLMs. From the mind behind the Cyc project.https://en.wikipedia.org/wiki/Automated_Mathematician
Comments
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