On the Notion of Interestingness in Automated Mathematical Discovery

Abstract

Deciding whether something is interesting or not is of central importance in automated mathematical discovery, as it helps determine both the search space and search strategy for finding and evaluating concepts and conjectures