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