Replacement isn't bad as long as it doesn't strip people of dignity, and that's the tricky part.

Google, in a large sense, replaced librarians, service desks, 411, and many other specialist people and services whose purpose was "The knowledge is somewhere, and there is an index, but most people don't know where the index is or how to read it."

But librarians aren't really diminished as a result (while service desks may have kind of quietly evaporated to go do something else).

If the system becomes "People talk about mathematics and then an analysis engine reads that zeitgeist much faster than people can and pulls it all together into new insights," that's not apriori bad... Except that we have to consider how many people were in that conversation because their ultimate goal is to have an insight tied directly to them, i.e. to become the Hamilton in "Hamiltonian operator." Because the reality is that people practice mathematics both to advance the sum total of human knowledge and to roll the dice on getting stamped into the history books as the closest form of immortality that people get, and we can't just ignore both drives.

Grant Sanderson (3blue1brown) expressed thoughts on this topic space in a recent video, where he suggested one possible shift might be from the focus in the field being on frontier-pushing to the focus being on making the frontier more "human-shaped." There's a huge gap between higher math and what most people understand, and possibly ample opportunity to bridge it.