Analyze the theoretical difficulties in the Value Alignment Problem for Artificial General Intelligence. Specifically, compare and contrast Coherent Extrapolated Volition (CEV) with Inverse Reinforcement Learning. Discuss how to define 'human values' in a mathematically rigorous way that prevents misinterpretation by a superintelligence.