[generic92034]

I wonder if AI is one means to overcome the natural limits of human knowledge aggregation [0].

On the other hand, in the very long run, what does it mean if a talented human being does not have enough years of life to fully analyze and understand an extremely advanced proof created by AI?

[0]: https://slatestarcodex.com/2017/11/09/ars-longa-vita-brevis/

[morkalork]

Perhaps it will become like those cathedrals that took centuries and many generations of humans to build.

[generic92034]

Yes, but you (as a human) can still understand the cathedral (the building). This is not guaranteed for advanced AI work in mathematics in the future. If so, are we/they are really still adding to human knowledge, at this stage?

[TimorousBestie]

Mathematics as an aggregate already is that cathedral. It is grander and more beautiful than any earthly cathedral.