AITOP6月16日 20:46
全部 AI 动态
AI 相关资讯全量信息流
6月16日
20:46
600亿美元买下Cursor，xAI终于拿到了编程工具，但真正值得跟踪的或许不是AI
6月12日
12:57
AITOP6月12日 12:57
6月11日
15:28
AITOP6月11日 15:28
15:23
AITOP6月11日 15:23
15:07
AITOP6月11日 15:07
6月2日
12:01
12:01
arXiv cs.LG@Leheng Chen, Zihao Liu, Wanyi He, Bin Dong
精选
推荐理由：计算数学研究者终于有了能自动跑实验、找反例的 AI 助手——Iteris 直接参与开放问题攻关，做数值算法或优化理论的团队值得关注。
5月21日
07:53
07:53
OpenAI@OpenAI (@OpenAI)
OpenAI@OpenAI (@OpenAI)93°
推荐理由：数学家和 AI 研究者会震惊——AI 首次自主推翻了一个 80 年的数学猜想，做理论数学或 AI 推理的团队值得关注这个新范式。
07:48
07:48
Greg Brockman@gdb
Greg Brockman@gdb91°
推荐理由：数学家和AI研究者会震惊——AI第一次独立解决了困扰人类80年的核心猜想，这不仅是数学的突破，更是AI推理能力的质变，值得所有关注AI前沿的人点开。