Oliver Sourbut comments on why assume AGIs will optimize for fixed goals?