Douglas Lenat's Automated Mathematician Source Code
Summary
A GitHub repository hosts Douglas Lenat's Automated Mathematician (AM) source code from SAIL archives circa 1977, with notes on execution environment and public-domain licensing. The collection illustrates early AI research, heuristic programming, and the historical context of AM, including references to related theses and archival materials. It is primarily of historical and educational value rather than practical modern tooling for SMB automation.