Ansatz：带持续图记忆的数学研究智能体

UCLA 等机构与 Terence Tao 等合作者发布论文，提出数学研究智能体 Ansatz，其核心是 Continual Graph Memory——一种基于图、可演化、跨问题的数学研究记忆系统，用于统一组织证明搜索中的事实、计划、反例等中间结果，并通过依赖感知检索、证据敏感的策展和带范围召回实现知识复用。论文称该智能体求解了多个开放数学问题。 据论文描述，Ansatz 会显式组织整个证明搜索过程，并复用此前问题探索轨迹中的信息。上述求解效果来自论文自述，尚未见独立验证。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。