斯坦福大学发布Hybrid Reasoning Agents 论文
斯坦福大学让大语言模型拥有了不用语言思考的能力。他们称之为「混合推理智能体」。
你现在使用的每一个 AI 都有一个巨大的盲点。其核心就是一个巨大的自动补全引擎。它在语言方面非常出色,但在严谨的逻辑方面却非常糟糕。
当你让 AI 解决复杂的数学问题、执行多步骤的编码工作流或制定商业战略时,它实际上并没有「思考」。它只是根据概率猜测下一个词应该是什么。这就是为什么你的 AI 会产生幻觉。它靠感觉来做数学。
现在,一篇名为《混合推理智能体》的新论文彻底改变了这一范式。研究人员意识到,不能仅仅通过扩大模型规模来解决这个问题。你必须改变它处理现实的方式。
他们将标准大语言模型(系统 1)的创造性语言生成能力直接连接到确定性的符号逻辑引擎(系统 2)中。AI 不再是预测下一个词并寄希望于它是正确的,而是先起草一个解决方案,然后立即通过严格的逻辑求解器运行以证明其有效。
如果逻辑不成立,AI 会捕捉到它,重写它,然后再次测试。所有这些都在后台进行。所有这些都在你看到输出之前完成。
它完美地弥合了神经网络(负责猜测)和符号逻辑(负责证明)之间的差距。结果令人震惊。那些会让传统模型彻底崩溃的复杂推理和规划任务,现在正以近乎完美的准确率被解决。因为 AI 不再依赖概率来验证自己的逻辑。
本文由 AI 翻译自英文原帖,技术名词保留英文。
查看 X 原帖