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

AIGC动态欢迎阅读

原标题：姚期智院士大模型新研究：思维图DoT，用数学理论确保AI逻辑一致性
关键字：报告,模型,命题,过程,批评
文章来源：量子位
内容字数：0字

内容摘要：

西风发自凹非寺量子位 | 公众号 QbitAI姚期智院士领衔，推出大模型新推理框架，CoT“王冠”戴不住了。
提出思维图（Diagram of Thought），让大模型思考更像人类。
团队更是为这种推理过程提供了数学基础，通过拓扑斯理论（Topos Theory）正式化（formalize）DoT，确保其逻辑一致性和合理性。
相比CoT将推理过程表示为线性序列，DoT更能捕捉人类推理的复杂性。
相比引入分支结构ToT和GoT，DoT不需要依赖外部控制机制或多个模型协作，训练部署更简单。
秘诀就在于，DoT将LLM中的迭代推理建模为在单一模型内构建有向无环图（DAG）。
DAG由代表命题、批评、精炼和验证的节点组成，边表示它们之间的逻辑关系或依赖关系，边都有方向，不存在任何循环路径。
这种无环的特性确保推理过程不受循环依赖的影响，能更真实反映合理的逻辑推导。
9.11和9.8哪个大、strawberry中有几个“r”等问题在DoT的帮助下全都迎刃而解了。
要知道，大模型最新“顶流”OpenAI o1目前被训练得原生具备生成CoT的能力，现在更强的DoT来了，是不是也可以通过强化学习

原文链接：姚期智院士大模型新研究：思维图DoT，用数学理论确保AI逻辑一致性