12:01arXiv cs.LG@Leheng Chen, Zihao Liu, Wanyi He, Bin Dong精选Iteris 是一个专为计算数学开放问题设计的智能体研究系统,能自动生成数值实验、构造反例和证明草稿。在 Simons Workshop 的两个开放问题上,Iteris 产出了经专家验证的成果:一是共轭梯度法与随机坐标下降法在幂律谱下的渐近比较相图,二是证明 QR 分解列主元法在低相干性下仍可能失败。研究表明,智能体系统可参与计算数学研究流程,但人类验证仍不可或缺。论文智能体计算数学Iteris开放问题数值实验推荐理由:计算数学研究者终于有了能自动跑实验、找反例的 AI 助手——Iteris 直接参与开放问题攻关,做数值算法或优化理论的团队值得关注。原文