研究进展arXiv AI / CL
Danus：基于事实图谱记忆的数学推理智能体编排系统
摘要
Danus 是一个面向研究级数学推理的编排系统，通过共享事实图谱作为全局记忆管理机制，协调主智能体、多个工作智能体并行搜索证明，并由无状态验证器检查后存入事实图谱，支持逐步构建长证明。在代数几何、奇点理论等六个案例中展示了有效性。
背景解释
大型语言模型在数学推理方面取得进展，但协调多个智能体并行搜索证明并保持中间结果可靠仍具挑战。Danus 通过事实图谱记忆机制，将已验证事实及其证明和逻辑依赖存储，使系统能增量构建长论证，同时主智能体定期总结并重定向工作方向，支持与人类数学家交互，为长周期研究问题提供可扩展方案。
原文译文
以下为抓取到的原文内容译文，已统一为站内阅读格式。
这条新闻暂未保存可复现的原文正文，可以点击原文链接阅读。
来源地区
Global
热度分
73
分类
研究进展
语言
en