Automated Theory Formation in Pure Mathematics door Simon Colton