# Automated Mathematician

> The Automated Mathematician (AM) is one of the earliest successful discovery systems. It was created by Douglas Lenat in Lisp, and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award. AM worked by generating and modifying short Lisp programs which were then interpreted as defining various mathematical concepts; for example, a […]

The **Automated Mathematician** (AM) is one of the earliest successful discovery systems. It was created by Douglas Lenat in Lisp, and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award.

AM worked by generating and modifying short Lisp programs which were then interpreted as defining various mathematical concepts; for example, a program that tested equality between the length of two lists was considered to represent the concept of numerical equality, while a program that produced a list whose length was the product of the lengths of two other lists was interpreted as representing the concept of multiplication.  The system had elaborate heuristics for choosing which programs to extend and modify, based on the experiences of working mathematicians in solving mathematical problems.

## Controversy

Lenat claimed that the system was composed of hundreds of data structures called “concepts”, together with hundreds of “heuristic rules” and a simple flow of control: “AM repeatedly selects the top task from the agenda and tries to carry it out.  This is the whole control structure!”  Yet the heuristic rules were not

…

*Source: [Wikipedia](https://en.wikipedia.org/wiki/Automated_Mathematician)*

---

## Metadata

- **URL:** https://wpsearchai.com/automated-mathematician/
- **Published:** 2026-01-28T18:47:02+00:00
- **Modified:** 2026-01-28T18:47:02+00:00
- **Author:** admin
- **Categories:** Artificial intelligence