摘要
本文介绍了 Iteris，一个专为计算数学开放问题设计的代理研究系统。针对该领域需结合数值实验、对抗构造及算法设计的特点，Iteris 在两个开放问题案例中生成了数值证据、构造方案及证明草稿。经专家审查修正后，这些成果转化为已验证结果：包括共轭梯度法与随机坐标下降法的渐近比较相图，以及列主元 QR 分解失效的反例。研究表明，代理 AI 能有效参与数学研究工作流，但仍需人类验证。
AI 推荐理由
论文核心在于利用 Agent 系统进行数学推理、数值实验及证明构建，解决计算数学开放问题。
研究机构
北京大学数学科学学院
北京国际数学研究中心和新基石科学实验室，北京大学
北京大学机器学习研究中心
智源研究院，北京大学
大湾区智能计算中心，大湾区先进研究，大湾大学
论文信息