The Automated Mathematician (AM) is one of the earliest successful discovery systems.[1] It was created by Douglas Lenat in Lisp,[2] and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award.[3]
AM worked by generating and modifying short Lisp programs which were then interpreted as defining various mathematical concepts;[4] 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.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search