Mathematicians fear being reduced from *writers* of proofs to mere *readers* of (machine generated) proofs.

Mathematicians fear being reduced from writers of proofs to mere readers of (machine generated) proofs.

Any writer can feel this: imagine you no longer get to write, but only to proofread what machines have written. Mathematicians feel they’re being LITERALLY reduced to “proof readers.”