Some people want quick results. Some people want it to keep searching for a new math proof overnight without giving up, and they have money to burn.

It seems like giving it a time limit or a budget in dollars would be clearer, though?

Or, keep searching until I come back to the computer and ask about progress.

The _Intelligence_ part of AGI should be able to guide the user through that without all the knobs.