精选理由
看看Danus怎么用事实图记忆帮多个推理智能体协作解数学难题，还能和数学家互动。
Danus是一个基于事实图记忆的协调系统，旨在提升研究级数学推理能力。系统包含一个主智能体进行规划和协调，多个工作智能体并行执行证明搜索，以及一个无状态验证器检查数学主张。每个验证的事实连同证明和逻辑依赖存储在事实图中，构建递增的长期论证。在代数几何、奇点理论和组合学的六个研究级案例中，Danus成功生成长而详细的数学证明。
AI 翻译 · 中文
Danus是一个基于事实图记忆的协调系统，旨在提升研究级数学推理能力。系统包含一个主智能体进行规划和协调，多个工作智能体并行执行证明搜索，以及一个无状态验证器检查数学主张。每个验证的事实连同证明和逻辑依赖存储在事实图中，构建递增的长期论证。在代数几何、奇点理论和组合学的六个研究级案例中，Danus成功生成长而详细的数学证明。
Recent LLM-based mathematical reasoning agents have begun to tackle research-level problems and, in several cases, have contributed to the resolution of open problems. However, scaling and orchestrating such agents effec…