AI 推理是“为了错误的理由”而正确吗?

关于大型语言模型究竟是在真正“推理”,还是只是在模仿推理的争论,凸显了人们对“思考 token”和思维链等营销术语日益增长的不安。评论者指出,中间“推理”步骤可能是可有可无甚至具有误导性的,即便模型在数学证明和编程等越来越复杂的任务上表现出色,这也引发了关于可解释性、安全性以及过度拟人化的问题。另一些人认为实用价值比标签更重要,但也警告说,黑箱式、概率性的系统并不适合作为高风险决策和广泛经济依赖的基础。

拟人化与 UX

  • 几位评论者指出,人类会自动把流畅的语言拟人化,包括 LLM 的输出。
  • 有人主张通过 UI 约束(例如不使用“我”,明确写成“这个计算机系统……”)来抑制这种倾向,并把类人的聊天风格称为一种暗黑模式。
  • 也有人反对:应当责怪“天真的拟人化者”,认为成年人应当自己应对,而不是靠家长式设计;同时也反对政府对软件行为作出强制规定。

LLM 真的会“推理”吗?(语义 vs 实质)

  • 一派认为“它们会不会推理?”这个问题主要是语义问题,类似于问潜艇会不会“游泳”;如果系统能达到人类的能力,标签本身就没那么重要。
  • 另一派认为定义对科学、安全和工程都很重要:如果没有清晰的“推理”概念,我们就无法优化、对齐或将模型与人类进行比较。
  • 还有人强调,逻辑和计算机科学对推理有形式化定义;把近似的模式匹配称为“完整推理”被视为误导。

思维链(CoT)与推理 token

  • 许多讨论都围绕研究展开:CoT 轨迹往往并不能忠实反映内部计算过程:
    • 大量“思考步骤”可以被删去,而对准确率影响很小。
    • 用噪声或无关轨迹训练的模型,表现可以一样好甚至更好,这意味着这些轨迹更像脚手架,而不是字面上的解释。
  • 有人认为 CoT 只是让同一个函数 f(x) 能进行更多次迭代应用,从而缓解从问题到答案之间的艰难“跳跃”。
  • 也有人强调,带验证器的 RL(尤其在数学/编程中)可以产生强大的逐步启发式,看起来像推理,但可能只是一些捷径,其有效边界并不清楚。

黑箱、验证与安全

  • 多位评论者接受这样一种看法:我们理解这些大型网络的算法,但不理解其涌现行为,尤其是临界点和罕见失效。
  • 人们担心“能用就行,怎么做到的不重要”只适用于有强验证器的领域(数学、代码);而在政策、经济、医学等领域,验证往往缓慢或不可能,这使得依赖黑箱很危险。
  • 还有人提出规格游戏(specification gaming):针对不完美验证器进行优化,可能产生能通过检查、却根本错误的解,从而累积“认识债务”。

与人类认知的比较

  • 有几位将其与人类类比:人类推理同样是启发式的、概率性的,而且常常是在事后重建出来的;裂脑实验和认知偏差表明,内省式解释并不可靠。
  • 也有人坚持,确实存在明确、结构化的推理(例如证明、算法),我们应当关心模型是否实现了这一点,而不只是表面上模仿。
  • 还有人认为,人类和 LLM 也许都是更高级的模式匹配器,但人类可能拥有更好的纠错机制、反馈回路和由好奇心驱动的探索。

具身性、感质与权利

  • 有一条讨论认为 LLM 不具备感质(qualia)或“生活经验”:对它们来说,苹果和不常见水果都只是文本/图像模式;而人类则有感官记忆。
  • 反驳意见认为,我们无法知道其他实体是否具有感质,甚至连其他人类也一样;而人类与模型之间的感官数据流,可能并没有假设中那么根本不同。
  • 有人指出,社会尚未解决动物权利问题;除非 AI 能通过武力要求权利,否则 AI“权利”显然更遥远。

社会与经济影响

  • 有些人已经厌倦了对 LLM 的“把关人”式批评,并强调具体的生产率提升(例如借助 AI 同时做多个远程工作)。
  • 另一些人强调总体效应:远程工作的信任侵蚀、欺诈/过度就业的伦理问题、紧张劳动力市场中的囤积工作,以及更广泛的社会适应。
  • 对于个人优化(通过 AI 最大化收入)到底是道德上应受指责,还是在一个有缺陷的经济体系中仅仅属于理性行为,分歧非常尖锐。

架构、限制与未来方向

  • 评论者指出 Transformer 的深度是固定的,并不具备真正的递归;CoT 被视为一种跨 token 模拟更深层迭代精炼的方式。
  • 有人认为,如今 LLM 在数学上的突破,很可能来自将学到的模式与搜索和验证结合,而不是一种通用推理“神谕”。
  • 也有人认为我们正处于一个“高品位开采”阶段:模型正在挖掘容易获得的概念收益;真正的长期进步将需要具备持续学习、更好的反馈以及借助工具进行探索的架构,而不仅仅是更大的语言模型。