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

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?

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