In the limit: is it still worthwhile math if the AI result and proof exceed the human ability to comprehend?
Or is the usefulness of the discipline measured by how it pushes the boundaries of human understanding?
Is any knowledge useful (on this planet) if not anthropocentric?
-- {no channel}