One might ask if at some point pure mathematics will somehow be “finished”. And to this we can definitively answer that it will not. Computational irreducibility ensures that there will always be an infinite sequence of mathematical facts—and surprises—to be discovered. And there will also be an infinite number of pockets of computational reducibility, representing new mathematical concepts and structures.
Many beautiful thoughts here in Stephen Wolfram's latest essay on AI's role in pure mathematics.
Discussion