Conjecture and discovery
AI milestones in conjecture and discovery, part of mathematics.
1 milestone
AM: Automated Mathematician Developed by Douglas Lenat
In 1976, Douglas Lenat at Stanford University completed AM (Automated Mathematician), a heuristic program that explored elementary mathematics by modifying and combining LISP-coded concepts, discovering properties such as prime numbers without being explicitly programmed to do so.