提出 Danus 系统,使用共享事实图作为全局内存管理机制,协调多个数学推理代理并行证明搜索,并在代数几何、奇点理论和组合学等六个研究级案例中构建了长而详细的数学证明。
机构:北大
来源:arXiv 2607.06447 | AI4Papers 论文推荐平台