姚期智院士大模型新研究：思維圖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邏輯一致性

聯系作者

文章來源：量子位
作者微信：
作者簡介：