Thanks for the link - I&#x27;m going to read the paper as soon as I can.<p>In the meantime, if you have time, could you elaborate on: &quot;All tasks which require intelligence to be solved can naturally be formulated as a maximization of some expected utility in the framework of agents.&quot;<p>Is this proven in the paper, or assumed true outside of it?