Terence Tao’s new paper.

AI may make proof generation abundant before mathematics has adapted to abundance.

"I believe that we are now entering a era of comparable turbulence in mathematics.

This time, though, what is being stress-tested is not our foundational framework for mathematical truth, but rather the largely implicit framework of mathematical values and practices: what we consider a contribution to be, what we reward, what we regard as understood, and who — or what — we regard as having done the work.

I argue that it will become necessary to make these unwritten goals of mathematics much more explicit"