自動數學家

自動數學家（AM）是最早的成功發現系統之一。AM的工作方式是生成和修改簡短的Lisp程序，然后將其解釋為定義各種數學概念；例如，測試兩個列表的長度是否相等的程序被認為是代表數字平等的概念，而產生一個長度為另外兩個列表長度之積的列表的程序則被解釋為代表乘法的概念。該系統根據工作中的數學家解決數學問題的經驗，精心設計了啟發式方法來選擇哪些程序需要擴展和修改。

萊納特聲稱該系統是由數百個稱為概念的數據結構組成的，同時還有數百個啟發式規則和一個簡單的控制流程。AM重復地從議程中選擇最重要的任務，并試圖執行它。這就是整個控制結構!然而，啟發式規則并不總是表現為獨立的數據結構；有些規則必須與控制流邏輯交織在一起。有些規則的前提條件取決于歷史，或者不能在顯式規則的框架內表示。更重要的是，規則的公布版本經常涉及到沒有進一步定義的模糊術語，比如如果兩個表達式結構相似，......（規則218）或者......用其他（非常相似）的值替換得到的值......（規則129）。另一個信息來源是用戶，通過規則2：如果用戶最近提到了X，那么就提高涉及X的任何任務的優先級。

因此，似乎很有可能許多真正的發現工作被埋在未解釋的程序中。這一特性本身就很有趣--進一步研究的一個有希望的方向是尋找其他語言，在這些語言中短的隨機字符串可能是有用的。