What computers will do for, or to, mathematics and mathematicians

This is Silicon Reckoner, an opinionated newsletter about the implications of mechanization of mathematics, by Michael Harris: number theorist, Columbia University professor, also still active in Paris, author of Mathematics without Apologies.