> It's going to produce proofs far more intricate than humans can understand, outdoing humans and opening new frontiers.

I agree.

> The age of humans comprehending things is coming to an end: our brains just won't have the capacity to make meaningful contributions to science, math, or technology.

I don't know if I see this being true for quite a while, if ever.

> It's going to produce proofs far more intricate than humans can understand, outdoing humans and opening new frontiers. > I agree.

There's an infinite space of possible statements and proofs. The only thing that makes certain proofs significant is that human mathematicians consider them significant; if AI came up with a proof of some statement that no humans could understand then no humans would bother investing further resources in building upon it, for the same reason we don't waste computational resources iterating over the infinite space of true statements in first-order logic.