On: The End of Mathematics

[traes]

> If progress is stuck, the machine turns the gauge away from "exploit" and toward "explore"

It sounds like you've answered your own question of:

> why "pure mathematics" should persist as a field of human or machine activity.

And you're really just quibbling about scheduling.

Whether humans will be involved or not is an entirely different debate.

[somesortofthing → traes]

I doubt many pure mathematicians would be okay with totally subordinating all exploratory mathematical investigation to specific practical problems, and the field would look very different both in terms of how it's organized and what output it produces were it run that way.