AI & Discovery

Lenat (1977-2000)
AMEURISKOCYC
  discovery in math    discovery in anything    hand-fed knowledge  
famousfailedinfeasible

ALife as discovery:

* Find and exploit emergent rules
* Avoid (some) cultural biases: surprising surprise (Ronald/Sipper)
* Let complexity grow intead of writing it by hand