Comment by Paracompact

You can't remove the humans entirely and still be said to be in the business of doing math. On that I fully agree. We should still be spending the same number of hours on math, just with different tools (you might even call them oracles) at our disposal.