>this seems to implicitly assume that future generations of AI cannot be creative in similar ways that human mathematicians have been It's because they can't.

>this seems to implicitly assume that future generations of AI cannot be creative in similar ways that human mathematicians have been It's because they can't. It's a mathematical theorem that no algorithm that "solves mathematics" can exist. >In mathematics and computer science, the Entscheidungsproblem is a challenge posed by David Hilbert and Wilhelm Ackermann in 1928. It asks for an algorithm that considers an input statement and answers "yes" or "no" according to whether it is universally valid, i.e., valid in every structure. Such an algorithm was proven to be impossible by Alonzo Church and Alan Turing in 1936. https://en.wikipedia.org/wiki/Entscheidungsproblem https://en.wikipedia.org/wiki/Entscheidungsproblem