摘要
针对大语言模型数学推理智能体在扩展与编排上的挑战，本文提出 Danus 系统。该系统以共享事实图作为全局记忆管理机制，由主智能体负责规划协调，多个工作智能体并行搜索证明，并通过无状态验证器确保存入事实图的断言可靠。每个已验证事实均存储其证明及逻辑依赖，支持增量构建长论证并保持状态有序。在代数几何等领域的案例研究表明，该记忆机制有效支持了长程研究问题的求解。
AI 推荐理由
论文核心提出基于事实图的全局记忆机制，以此解决多智能体协作中的状态管理与推理扩展难题。
研究机构
School of Mathematical Sciences, Peking University
Beijing International Center for Mathematical Research, Peking University
Research Institute for Mathematical Sciences, Kyoto University
论文信息