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