I'm sympathetic to mathematicians who worry that AI will lead to a bunch of "alien proofs" that no human understands.
It may be that the future of math is mostly finding alien proofs and doing the work needed to make them intelligible to humans. Which, frankly, is the situation in biology already.