AM (1976): first math AI system to automate conjectures & concepts, not proofs | Hacker News Reader