[oblio]

> In the past "computer" was a job description and mechanical power came from serfs.

Serfs, all right, but in what world do you live where "computers", people who did manual computing (i.e. mechanical additions/multiplications/... with very large numbers) are the same as actual research mathematicians, who are basically pure logicians?

The only perspective where it makes sense to root for mathematicians to go away is if you're a misandrist that thinks humanity should be replaced by robots (for reasons...). Or isn't logic something that's a defining human trait, and one of the main reasons we became the dominant species on the planet?

[golemotron]

I don't think that "root[ing] for mathematicians to go away" is the problem. The problem (if there is one) is that the process by which that occurs is economically determined. No amount of complaining will stop AI from being useful in mathematics or erase the incentives to make it better. It's automatic process, like photography sidelining painting or shoe factories sidelining cobblers. We go through this with every technological advance and the outcomes are pretty much determined. No cheerleaders are needed.

[oblio]

Nothing in history is inevitable.