千万IP创科普丨姚期智院士大模型新研究：思维图DoT，用数学理论确保AI逻辑一致性

文章预览

转自 量子位 西风 发自 凹非寺 量子位 | 公众号 QbitAI 姚期智院士领衔，推出大模型新推理框架，CoT“王冠”戴不住了。 提出 思维图 （ D iagram o f T hought） ，让大模型思考更像人类。 团队更是为这种推理过程提供了 数学基础 ，通过拓扑斯理论 （Topos Theory） 正式化 （formalize） DoT，确保其逻辑一致性和合理性。 相比CoT将推理过程表示为线性序列，DoT更能捕捉人类推理的复杂性。 相比引入分支结构ToT和GoT，DoT不需要依赖外部控制机制或多个模型协作，训练部署更简单。 秘诀就在于，DoT将LLM中的迭代推理建模为在 单一模型内 构建有向无环图 （DAG） 。 DAG由代表命题、批评、精炼和验证的节点组成，边表示它们之间的逻辑关系或依赖关系，边都有方向， 不存在任何循环路径 。 这种无环的特性确保推理过程不受循环依赖的影响，能更真实反映合理 ………………………………