Human beings do not have values that are provably aligned with the values of other human beings. Nor can there ever be a proof like this, since "human being" does not have a mathematical definition any more than "baldness" has a definition that would tell you in every edge case whether someone is "truly bald" or not. Consequently there will never be such a proof for AI, since if various human beings have diverging values, there is no way for the AI to be aligned with both.
In any case, I think the main problem is the assumption that human beings have utility functions at all, since they do not. In particular, as I said elsewhere, human beings do not value anything infinitely. Any AI that does value something infinitely will not have human values, and it will be subject to Pascal's Muggings. Consequently, the most important point is to make sure that you do not give an AI any utility function at all, since if you do give it one, it will automatically diverge from human values.
if various human beings have diverging values, there is no way for the AI to be aligned with both.
Yes, it is trivially true that an AI cannot perfectly optimize for one person's values while simultaneously perfectly optimizing for a different person's values. But, by optimizing for some combination of each person's values, there's no reason the AI can't align reasonably well with all of them unless their values are rather dramatically in conflict.
...In particular, as I said elsewhere, human beings do not value anything infinitely. Any AI that does value
Edge.org has recently been discussing "the myth of AI". Unfortunately, although Superintelligence is cited in the opening, most of the participants don't seem to have looked into Bostrom's arguments. (Luke has written a brief response to some of the misunderstandings Pinker and others exhibit.) The most interesting comment is Stuart Russell's, at the very bottom:
I'd quibble with a point or two, but this strikes me as an extraordinarily good introduction to the issue. I hope it gets reposted somewhere it can stand on its own.
Russell has previously written on this topic in Artificial Intelligence: A Modern Approach and the essays "The long-term future of AI," "Transcending complacency on superintelligent machines," and "An AI researcher enjoys watching his own execution." He's also been interviewed by GiveWell.