Logan Zoellner comments on How much should you be willing to pay for an AGI?