Thanks for the link - I'm going to read the paper as soon as I can.

In the meantime, if you have time, could you elaborate on: "All tasks which require intelligence to be solved can naturally be formulated as a maximization of some expected utility in the framework of agents."

Is this proven in the paper, or assumed true outside of it?