The Importance of Applying Computational Creativity to Scientific and Mathematical Domains

Science and mathematics are currently underrepresented in the computational creativity (CC) community. We discuss why the CC community should apply their work to mathematical and scientific domains, and argue that this would be mutually beneficial for the domains in question. We identify a key challenge in Automated Reasoning – that it has not achieved widespread adoption by mathematicians; and one in Automated Scientific Discovery – the need for communicability of automatically generated scientific knowledge. We recommend that CC researchers help to address these two challenges by: (i) applying systems based on cognitive mechanisms to scientific and mathematical domains; (ii) employing experience in building and evaluating interactive systems to this context; and (iii) using expertise in automatically producing framing functionality to enhance the communicability of automatically generated scientific knowledge.EPSRC funded project EP/P017320/1 "Example-driven machine-human collaboration in mathematics