Slaves to the Machine? Or not? Or not yet?

If reading that sentence generates a small knot in the pit of my stomach, I have to wonder, what does it feel like to say it? That's exactly what I read in a recent article (AI maths whiz creates tough new problems for humans to solve, Nature, 3 February 2021). It is a quote from Doron Zeilberger, a professor of mathematics at Rutgers University. Whatever: what prompted it is something known as the Ramanujan Machine (ramanujanmachine.com). Named, as you can imagine, for the great mathematician Srinivasa Ramanujan, the Machine will, its authors tell us, "harness your computer power to make new [mathematical] discoveries."