AITP
精选全部 AI 动态AI 日报Agent 接入关于更新日志信源提报反馈
登录 / 注册
AITOP
全部 AI 动态
AI 相关资讯全量信息流
全部博客资讯推文论文
全部模型产品行业论文技巧
标签:Iteris×
6月16日
20:46
AITOP6月16日 20:46
600亿美元买下Cursor,xAI终于拿到了编程工具,但真正值得跟踪的或许不是AI600亿美元买下Cursor,xAI终于拿到了编程工具,但真正值得跟踪的或许不是AI
6月12日
12:57
AITOP6月12日 12:57
Claude代码里藏了个20260612,18个月后的AI记忆革命已经开始倒计时
6月11日
15:28
AITOP6月11日 15:28
1107 vs 303:谷歌悄悄开源了一个“拆打字机”的模型,把大模型速度翻了4倍
15:23
AITOP6月11日 15:23
DiffusionGemma颠覆文本生成?自回归模型的“统治”要结束了
15:07
AITOP6月11日 15:07
每秒1107个token,Google开源的扩散模型为什么能改变本地推理格局?
6月2日
12:01
12:01arXiv cs.LG@Leheng Chen, Zihao Liu, Wanyi He, Bin Dong
精选
Iteris 是一个专为计算数学开放问题设计的智能体研究系统,能自动生成数值实验、构造反例和证明草稿。在 Simons Workshop 的两个开放问题上,Iteris 产出了经专家验证的成果:一是共轭梯度法与随机坐标下降法在幂律谱下的渐近比较相图,二是证明 QR 分解列主元法在低相干性下仍可能失败。研究表明,智能体系统可参与计算数学研究流程,但人类验证仍不可或缺。
论文智能体计算数学Iteris开放问题数值实验

推荐理由:计算数学研究者终于有了能自动跑实验、找反例的 AI 助手——Iteris 直接参与开放问题攻关,做数值算法或优化理论的团队值得关注。
原文
精选全部日报登录