[masfuerte]

> We have always been in the business of discovering and understanding math, have we not?

And the way we understand the maths is to do the maths. You can't outsource the maths to AI and continue to understand it. I don't believe we can have it both ways.

[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.