2025/07/14 by G, Asvin
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO)
paper · doi:10.48550/arxiv.2507.10179
We identify a second machine turn in the process of mathematical discovery: after automating proof-checking, AI is now poised to automate the *creation* of mathematical concepts themselves. We discuss the current state of the art, obstacles and potential solutions as well as a preliminary attempt at mathematizing the creation of concepts itself. The paper ends with an assessment of how these capabilities could reshape mathematics and human-machine collaboration, and a few different futures we might find ourselves in.