Comment by ChickeNES

> Do you think human mathematicians will be entirely useless for any kind of input into the act of doing mathematics?

Yes, same as any other field. No one is immune