useful. Successor This intuition was the basis of AM's successor Eurisko, which attempted to generalize the search for mathematical concepts to the search for useful heuristics. See also Computer-assisted proof Automated theorem proving Symbolic mathematics Experimental mathematics HR (software) and Graffiti (program), related math discovery systems References External links Edmund Furse; Why did AM run out of steam? Ken Haase's Ph.D. Thesis; Invention and Exploration in Discovery, a rational reconstruction of Doug Lenat's seminal AM program and an analysis of the relationship between invention and exploration in discovery. open source Prolog claimed re-implementation of Lenat's AM available at https://github.com/akkartik/am-utexas Artificial intelligence