Creation and Discovery Solving a new problem leads to new concepts. Concepts collect together important characteristics. Lenat's AM is the best known AI work.

The creation and discovery of mathematical concepts is a complex subject. Frequently new concepts are created out of a mathematician's experience in trying to solve a problem. Concepts collect together some suitable characteristics of a problem. The best known work in AI in on the discovery of mathematical concepts is Lenat's AM program. A discussion of this can be found in: Furse E., (1990), Why did AM run out of steam?, Technical Report no. CS-90-4, Department of Computer Studies, University of Glamorgan.