Atlas record: https://www.aitimeline.dev/en/events/evt-0130/
Research · July 1976
AM
Lenat's program started from basic set-theoretic notions and, guided by heuristics of interestingness, derived concepts such as prime numbers by itself.
Why it matters
An attempt to automate not the solving of a problem but the posing of one, a rare case where the goal was discovery rather than an answer.
AM held around 250 heuristics of the form: if a function often returns the same value, examine it separately. The program rediscovered primes and the Goldbach conjecture, then ran out of steam as its new concepts grew emptier. Lenat was later criticised for results that depended on the vocabulary built in. That limit is what led him to Cyc.
Event record
- Event date
- July 1976
- Timeline date
- Event date
- Verification
- Sources gathered automatically · September 17, 2026
- Lines
- ID
- evt-0130
The thesis is dated July 1976 and was issued as AIM-286 and STAN-CS-76-570.
Related events
Earlier
- Related GUHA: a machine that proposes hypotheses from data 1966links to this record
Both programs put forward hypotheses themselves: AM mathematical concepts and conjectures from heuristics, GUHA every statement of a given form that holds in the data.
- Extends The DENDRAL project begins 1965
The same Stanford approach, but the heuristics search for new concepts rather than a molecular structure.
Later