探讨AI在数学推理中目标函数与人类意图不一致的技术挑战与案例