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

在人工智能推理框架的重大飞跃中，QbitAI推出了“思维图”（DoT），这是一种新模型，承诺增强人工智能逻辑的一致性。由著名学者姚期智和清华大学的同事袁洋领导，DoT以使用有向无环图（DAG）来更好地模拟人类推理过程而脱颖而出。该框架独特之处在于它不依赖外部控制或多个模型之间的协作，简化了推理过程。DoT的结构包括提议者、批评者和总结者等角色，使人工智能能够从正确和错误的推理路径中学习。在拓扑学理论坚实的数学基础支撑下，DoT代表了累积推理（CR）方法的演进，并被视为人工智能研究的一个有前途的方向。对于那些对人工智能逻辑和推理的前沿发展感兴趣的人来说，这项研究提供了一种详细且数学基础扎实的方法，可能重新定义大型模型如何处理和评估信息。- 姚期智院士领衔推出大模型新推理框架思维图（DoT） - DoT使用拓扑斯理论（Topos Theory）确保逻辑一致性和合理性 - DoT不需要依赖外部控制机制或多个模型协作，训练部署更简单 - DoT将迭代推理建模为在单一模型内构建有向无环图（DAG），确保推理过程不受循环依赖影响 - DoT的训练涉及使用格式化为DoT结构的训练样例，包括角色特定token和DAG表示 - DoT框架提供了严格的数学基础，利用Topos Theory对推理过程进行了形式化描述 - 论文由清华交叉信息研究院姚期智、袁洋领衔，论文第一作者为张伊凡