对齐问题：当计算机科学遇上分析哲学

文章从理论计算机科学、机器学习理论、分析哲学及 MIRI/LessWrong 传统出发，阐释技术性 AI 对齐问题的内涵与核心难点。作者指出，若未明确 AI 应完成的任务，安全目标就无法被充分定义；而一旦任何地方出现不受约束、未对齐的 ASI 智能体，且没有已对齐的 ASI 加以制衡，灾难性后果极可能发生。