Comment by skybrian

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.