The desperately needed TL;DR is that perhaps the actual mathematics itself (i.e. proofs, calculations, etc.) can be done by AI, but why we do it and deciding which problems to solve can only be done by AI. Therefore mathematician do maths.
I'm not a mathematician, but this seems like a weak and slightly bizarre argument.
I'm not a mathematician, but this seems like a weak and slightly bizarre argument.