This makes me think of eurisko/​automated mathematicion, and wonder what minimal set of heuristic and concepts you can start with to get to higher math.
This makes me think of eurisko/​automated mathematicion, and wonder what minimal set of heuristic and concepts you can start with to get to higher math.