http://www.npr.org/sections/money/2015/05/21/408234543/will-your-job-be-done-by-a-machine
Well, a mathematician is simply a machine for turning coffee
into theorems, anyway, so I'm sure that can be automated.
But good news for high school teachers!
