AM is a computer program written by Doug Lenat that discovers elementary
mathematics starting from some initial knowledge of set theory. The success of this
program is not clearly understood.
This work is an attempt to explore the search space of AM in order to understand the success and eventual...