The question is, will universities continue to fund graduate programs to the extent they currently do so that people can find elegant proofs of AI derived theor

The question is, will universities continue to fund graduate programs to the extent they currently do so that people can find elegant proofs of AI derived theorems? I’m skeptical. A lot of good mathematicians tried to prove or disprove the Jacobian Conjecture and AI did easily. The value added by human mathematicians seems to be low return on the investment.