Abstract

We identify a second machine turn in the process of mathematical discovery:after automating proof-checking, AI is now poised to automate the *creation* ofmathematical concepts themselves. We discuss the current state of the art,obstacles and potential solutions as well as a preliminary attempt atmathematizing the creation of concepts itself. The paper ends with anassessment of how these capabilities could reshape mathematics andhuman-machine collaboration, and a few different futures we might findourselves in.

 

Quick Read (beta)