alt Hacker NewsI 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/
Perhaps it will become like those cathedrals that took centuries and many generations of humans to build.