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

文章预览

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