Comment by layer8

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

Not at all. My point is that the Fields medallists’ letter didn’t provide good arguments, not that there aren’t any. And therefore I’m agreeing with the Gowers quote above.