Historical milestone · 1977
AM automated mathematics
Reviewed through September 18, 2026
1977 · Historical milestone
AM automated mathematics
- Era
- 1970s
- Theme
- AI for science
- Evidence form
- A rule-based system generated and evaluated mathematical concepts from heuristics, discovering familiar structures from set-theoretic primitives
- School / paradigm
- Heuristic discovery
- Institution / context
- Stanford University
- Researchers
- Douglas Lenat
Researcher index
Douglas Lenat
Heuristic discovery and commonsense knowledge · Stanford / MCC / Cycorp
AM, Eurisko, and Cyc
Why it still matters. Pushed both automated discovery and large-scale explicit commonsense knowledge.
Representative source for this researcher — not necessarily the source of this milestone: https://doi.org/10.1145/79173.79176 (opens in a new tab)
Understand
Plain-language record, transferred from the reviewed source module.
Theory or experimental setup. Suggested that heuristic search could model aspects of creative scientific discovery.
Result / historical claim. Results depended heavily on representation and handcrafted heuristics; later claims were difficult to reproduce cleanly.
Apply
Professional implication, only where the reviewed record states one.
The checked-in record does not state a separate professional application for this entry. The topic page places it in the wider research lineage: .
Verify
Evidence status, stated limitations, and the external sources this record actually carries.
Evidence form. A rule-based system generated and evaluated mathematical concepts from heuristics, discovering familiar structures from set-theoretic primitives
Limitation / debate. Automated conjecture generation, discovery agents, and the role of priors in creative search.
Source status. This milestone row does not carry a primary-source URL in the approved export, and we do not have a verified link for it in our own research. We do not guess one.
No primary-source URL is recorded for this entry in our reviewed data. Rather than manufacture a citation, we link the Implement Agentic research page that carries the record.
Reproduce
A reproduction tutorial is linked only when one exists for this exact record.
A reproduction tutorial is not yet available for this entry. The closest reviewed material is .
Cite or share
APA-like: This historical record carries a year only, and no author or publisher of record in the checked-in data. An APA reference would have to invent that metadata.
BibTeX: BibTeX requires an author and publication venue. Historical lineage entries store a narrative record and its source link, not structured authorship, so the field would be fabricated.