> AI has destroyed a major source of "life's meaning" for many people who pursued mathematics.

That captures how I feel, and I just don't know what do with that emotion. Mathematics is now like chess, gardening, crochetting, dancing, etc