the majority of humans today think that women should not have full rights, homosexuals should be killed or at least severely persecuted, and nerds should be given wedgies. These are not incompletely-extrapolated values that will change with more information; they are values. Opponents of gay marriage make it clear that they do not object to gay marriage based on a long-range utilitarian calculation; they directly value not allowing gays to marry.
Without endorsing the remainder of your argument, I agree that these observations must be adequately explained, and rejection of the conclusions well justified—or the concept of provably Friendly AI must be considered impossible.
Without endorsing the remainder of your argument, I agree that these observations must be adequately explained, and rejection of the conclusions well justified—or the concept of provably Friendly AI must be considered impossible.