Primary evidence
- Automated Theory Formation in MathematicsS1 · Primary research · Paper · 1977-08-22
- The ubiquity of discoveryS1 · Primary research · Paper
AM explores automated mathematical concept formation and conjecture discovery
AM maintained an agenda of potentially interesting mathematical tasks and used general heuristics to decide which concepts, examples and conjectures to explore next.
What happened?
At IJCAI-77, Lenat described AM, a program that conducted elementary mathematical exploration by defining new concepts, studying their properties and formulating conjectures under hundreds of heuristic rules.
Why it matters
It is an early direct ancestor of modern AI-for-mathematical-discovery work because the machine was tasked not merely with proving supplied statements but with shaping what mathematical objects and conjectures to investigate.
Significance rationale: Douglas Lenat's AM made automated mathematical discovery an explicit AI research program by using heuristic search to invent and prioritize mathematical concepts and formulate conjectures.
Historical context
Earlier developments
—
Later developments
—
Related milestones
—
Evidence & status at a glance
- Significance
- H2 · Field milestone
- Verification
- Paper released
- Evidence level
- E2 · Research record
- AI role
- Autonomous primary role
- Formal assurance
- No formal assurance
Contribution & verification
- Mathematical novelty
- New conjecture
- Interface
- Symbolic, Informal
- AI contribution
- AM autonomously selected exploration tasks, generated concepts and formulated candidate conjectures using heuristic search.
- Human contribution
- Douglas Lenat designed the representation, agenda mechanism and roughly 250 heuristic rules that structured AM's search.
- Verification
- Paper released · E2 · Research record · No formal assurance
- Last reviewed
- 2026-09-15
Technical details
- Systems
- am
- Organizations
- stanford-ai-lab
- Problems
- automated-mathematical-discovery
- Methods
- heuristic-search, concept-formation, conjecture-generation
Sources & artifacts
- Automated Theory Formation in MathematicsS1 · Primary research · Paper · accessed 2026-09-15
- The ubiquity of discoveryS1 · Primary research · Paper · accessed 2026-09-15
Verification history
- 1977-08-22 · Paper released · E2 · Research record
The IJCAI-77 proceedings and later Artificial Intelligence article document AM and its heuristic mathematical-discovery behavior.
Corrections
No corrections recorded.