TLDR; When you travel by plane, you miss the opportunity to discover along the way, which I 100% agree with.
Imho, mathematics and philosophy are two domains that have nothing to worry about, because their core is discovering new questions. Compared for example to engineering, where the idea is to provide answers.
There will be mathematicians that will be mesmerized by AI, and the ability to work with well-funded labs that let them make huge leaps, on a supersonic plain. And there will be others, who enjoy walking around their neighborhood, to discover a forgotten alley, ponder in front of an old house -a perfect setup to serendipitous encounters and thoughts.
Not to mention that we have a now object: LLMs. Do sentences generated by an LLM form a space? An algebra? Can we define distances and metrics? Topological properties? Dimensions? Homomorphisms? If every answer is a finite series, how can you tell which series diverge? Wait, you need a metric to answer this.
-- {no channel}