AITOP
精选
过去 24 小时，从 683 条中筛出 42 条
全部模型产品行业论文技巧
标签：开放问题×
6月11日
15:28
15:23
15:07
6月2日
12:01
12:01arXiv cs.LG@Leheng Chen, Zihao Liu, Wanyi He, Bin Dong
精选
Iteris 是一个专为计算数学开放问题设计的智能体研究系统，能自动生成数值实验、构造反例和证明草稿。在 Simons Workshop 的两个开放问题上，Iteris 产出了经专家验证的成果：一是共轭梯度法与随机坐标下降法在幂律谱下的渐近比较相图，二是证明 QR 分解列主元法在低相干性下仍可能失败。研究表明，智能体系统可参与计算数学研究流程，但人类验证仍不可或缺。
论文智能体计算数学Iteris开放问题数值实验
推荐理由：计算数学研究者终于有了能自动跑实验、找反例的 AI 助手——Iteris 直接参与开放问题攻关，做数值算法或优化理论的团队值得关注。
原文
6月1日
00:09
5月29日
08:02
AITOP5月29日 08:02
Opus 4.8发布：编程助手的“静默时刻”，是解放开发者，还是新门槛？🔥Anthropic 把 AI 编程的“确认键”彻底删掉了！Claude Code 搭载全新 Opus 4.8 模型，长时间任务不跑偏、不废话、不中断，像一个资深工程师一样默默干活，从功能开发到漏洞清扫全包圆，你在旁边喝茶等结果就行。过去 AI 写代码三步一问“这样可以吗”，现在它直接交完整交付物……自主编程的最后一层窗户纸，被捅破了。做自动化开发和代码审查的团队，这个模型建议直接上手，效率差距肉眼可见……Opus 4.8发布：编程助手的“静默时刻”，是解放开发者，还是新门槛？