I am far from a mathematician but I am excited by the possibilities of using AI for generating more math. Math in my mind exists purely in the world of forms, and cannot be appropriated for profit, but is downstream to everything else. I am keen to see what this enables.

It may be a question of perspective, but in my mind mathematics is upstream to everything else, including physics, biology, etc. And it doesn't just exist in the human mind or the "world of forms", as in Platon's realm of ideas. It's more fundamental than that, closer to the foundation from which all existence emerges. Our reality is like a shadow of a shadow, a fleeting illusion, compared to the eternal reality that gives birth to all lesser realities.

As for profit, there's a reason why governments and AI companies are hiring philosophers and mathematicians. It's not to make the world a better place for everyone, or to encourage the progress of human knowledge; but to gain cutting-edge advantages over their competitors. Same reason why theoretical physicists were prized before/during the Second World War.