arXiv Artificial Intelligence· Eric Hanchen Jiang, Junyi Zhang, Jinxi Yu, Jiachen Lu, Zhi Zhang, Michael Simon, Justin Baker, Richard Cai, Sneha Agarwal, Yubei Li, Hyunsik Chae, Xinjie He, Kyle Zheng, Vigyan Sahai, Ethan Ji, Alexander K Taylor, Yiwen Kou, Kyle Hess, Xiao Liang, Yingnian Wu, J. D. Zamfirescu-Pereira, Andrea Bertozzi, Kai-Wei Chang, Eunice Jun, Raghu Meka, Nanyun Peng, Amit Sahai, Matthew Sottile, Terence Tao, Wei Wang·· 13 小时前AI 评分40
Ansatz：面向 AI 辅助数学发现的持续图记忆与社区基础设施
Continual Graph Memory and Community Infrastructure for AI-Assisted Mathematical Discovery
AI 导读
研究团队提出 Ansatz 研究框架与 Ansatze 社区平台，用持续图记忆将模型接受的结论与依赖同人工整理的探索记录分开。在 First Proof 上，Ansatz 在两个各含十道题的批次中均记录到九次本地验证器闭合，Second Batch 的一个部分结果也按研究标准计为通过；这些由模型评估的结果包含持续搜索，与专家验证不同。开放问题研究产出候选结果，其中报告了五项 Lean 形式化。
推荐理由模型分析
Ansatz 把数学研究中的部分结论、依赖关系和证据状态做成持续更新的图记忆，并用 Ansatze 平台支持人工检查与形式化核验，针对的是 AI 辅助研究中中间结果易丢失、难以复用的问题。作者报告在 First Proof 两批各十题中各有九次局部验证器闭合，但明确说明这是模型自评、包含继续搜索，与专家验证不同，且仅五例 Lean 形式化。适合关注 AI for Math、Agent 记忆与可审计研究流程的开发者参考其证据分层设计，不宜据此判断数学发现能力。
来源：arXiv Artificial Intelligence · arxiv.org