量子位
·
姚期智院士大模型新研究：思维图DoT，用数学理论确保AI逻辑一致
💡
原文中文，约2800字，阅读约需7分钟。
📝
内容提要
姚期智团队提出思维图（DoT）推理框架，通过拓扑斯理论确保AI逻辑一致性。DoT将推理过程建模为单一模型内的有向无环图（DAG），简化训练和部署。框架包括提议者、批评者和总结者角色，利用自然语言批评提供反馈，捕捉人类推理复杂性。
🎯
关键要点
- 姚期智团队提出思维图（DoT）推理框架，确保AI逻辑一致性。
- DoT通过拓扑斯理论建模推理过程为有向无环图（DAG），简化训练和部署。
- DoT框架包括提议者、批评者和总结者角色，利用自然语言批评提供反馈。
- 与CoT和ToT相比，DoT更能捕捉人类推理的复杂性，无需外部控制机制。
- DAG的无环特性确保推理过程不受循环依赖影响，反映合理的逻辑推导。
- DoT允许LLM从错误中学习，逐步精炼推理过程，更像人类解决问题的方式。
- DoT的训练使用格式化为DoT结构的样例，简化了部署并与现有工作流程兼容。
- 框架提供了严格的数学基础，确保推理过程的逻辑一致性和完备性。
- 姚期智教授是清华大学交叉信息研究院院长，研究方向包括算法、密码学和量子计算。
- DoT是对累积推理（CR）方法的进一步深化，直接在单一模型内构建推理过程。
➡️
