AI先驱经典重现：Douglas Lenat的“自动数学家”源代码在GitHub开源

人工智能先驱Douglas Lenat的标志性项目“自动数学家”（Automated Mathematician，简称AM）的源代码近日在GitHub上被整理发布。该项目源于Lenat在1976年的博士论文，是AI领域早期尝试通过启发式搜索让机器自动发现数学概念和定理的里程碑式工作。作为Cyc公司的创始人，Lenat通过AM展示了符号AI模拟人类数学归纳过程的潜力。此次源代码的公开，不仅为计算机科学史研究提供了珍贵资料，也为当代开发者审视早期AI在“机器发现”领域的逻辑实现提供了窗口。