Douglas Lenat's Automated Mathematician Source Code (github.com) AI

Douglas Lenat’s automated mathematician codebase is shared on GitHub, describing software for automated discovery in mathematics.