Bloomberg published an interesting piece.

AI could flood mathematics with proofs faster than humans can understand their consequences.

That creates a problem for universities because academic status is built around countable outputs such as papers, citations, and theorems rather than the slower work of explanation and judgment.

But fron now on, Human expertise need to move upstream, toward choosing worthwhile problems. Mathematics may need to reward the scarce work differently: explaining results, judging significance, teaching.