Beautiful writing. In my highest impression of (pure) math I've always thought of it as an art. We would think of AI-generated classical music as a waste, at least philosophically speaking--the point of writing music is to experience its creation. Unfortunately the public would not think the same of AI-generated math because it would be considered "relevant" to scientific matters. But the same is true. The point of doing math at the highest level is simply to experience doing it.