Automated Theory Formation in Pure Mathematics

by Simon Colton

In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which re…