ChatGPT什么都能生成，可是你写过的稿、讨论过的代码、生成过的图、囤过的资料，随着对话越堆越多，「翻记录」越来越像大海捞针，侧边栏拉到手酸，也未必找得到三周前那次关键讨论。

1、kok网页版 这种把智能体当作某种生命体来设计产品的思路，是他对 5 到 10 年后 AI 产业的押注。

AGI无法与一般的技术突破相提并论，哪怕是互联网、移动互联网这种影响深远的技术也不行——它更像人类发现电、学会用火的那种时刻。kok网页版」 参考资料： https://turntrout.com/why-i-left-google-deepmind 编辑：Aeneas新智元报道 7月17日，上海，黄浦江畔，夏风滚烫。

2、密西西比当家四分卫微妙批评母校：今年海斯曼造势甜蜜，去年本该如此

无论是材料建模、分子设计、自动化实验，还是更广泛的科学发现流程，AI 若想真正参与科研，就不能只会「解释知识」，还必须学会「执行动作」。

3、大学足球在西安走出象牙塔——以足球底气，奔赴理想人生

机器人首先判断当前是否偏离路线，再决定继续前进、转弯或进行方向修正，最后生成局部空间目标。

4、太阳后卫赛后回应与克拉克冲突：绝不忍受不尊重，垃圾话不会改变我

机器人的「ChatGPT时刻」还有多远？ 六位专家圆桌激辩 主题演讲是各摆各的战绩，到了圆桌，六位专家则给出了火药味的激辩。

5、15连胜追平队史78年纪录 红袜从垫底区杀回季后赛圈

大家都信了，无数的科研经费和论文结论都建立在这个隐秘的「共识」之上，唯独缺一个严丝合缝的数学证明，或者，一个反例。

跨任务——搬运、分拣、装配、取货、协同作业，不需要每换任务就从头开发。

一边是智能体集群在打，一边是智能体集群在查。

6、WNBA新科状元距禁赛仅差1技犯 与对手互喷后笑称“去问魔法球”

零向量注入的事，一个字没提。

新智元报道 天哪，打工人也能有自己的私人助理了！ 以前我们提到助理，一般都是服务老板的。

7、刚喷完他"做戏博关注"，麦克罗伊现在却邀请德尚博来打比赛

但这套打法的红利，正在肉眼可见地变薄。

过去是你写一句、AI答一句、你再写下一句；现在是你搭一个会自己找活、自己干活、自己交活的小系统，然后转身走开。

8、库尼亚世界杯小组赛3场3球！新赛季曼联球衣可以印号咯~

AxiomProver也独立斩获了满分。

文章开头已经讲过，对比非常鲜明。

但真实的材料计算研究，并非简单的选择题作答。

9、若瓦内·卡布拉尔自由身加盟格雷米奥，签约一年半

负5小时，被翻译成了一整天。

三届ICLR 评分尺度差异正在扩大 团队基于ICLR 2023–2025三届顶会公开数据，开展大规模实证分析，数据集覆盖2.2万余篇论文、5.2万条评审记录，能够真实反映近年顶会评审状态。

10、最后时刻连丢绝杀，武汉女足客场两连平

7月14日，Anthropic正式推出Claude for Teachers，向全美经过身份验证的K-12（幼儿园到高三）教师，免费开放Claude的高级能力、一整套教学技能库，还直接接上了50州课标和一批经研究验证的现成课程。

为什么今年重点布局「新能源汽车轮毂电机」？ 如果说具身智能是这家公司亮相的第一舞台，那么新能源汽车，就是他们今年重点布局的星辰大海。

1、102场448次保送领跑全MLB，小熊队正在用最无聊的方式改写历史

至于那个迟迟不来的旗舰、和刚刚开跑的Gemini 4，都还是「期货」。

2、齐达内：贝林厄姆拥有冠军球员的担当，世界杯又一位超级领袖的诞生！

有人担心学生数据隐私，有人担心教育被过度自动化，还有人翻旧账：硅谷高管自己的孩子，上的却是不带科技产品的学校。

3、强援回归！湖北青年星屡失良机，继续排名中乙南区第二

这个修改过程是实时的——就跟你对着助理的屏幕，指着说「你改改这儿，改改这儿」，看着他一步步改好。本田欧洲年销从31.3万跌至7.2万辆，欲靠“古怪”新车翻盘bug刚修到一半，弹窗一出，全停了。

4、迎战维罗纳，尤文期待三分，伊尔迪兹有望首发，维罗纳为尊严而战

如今，全球AI早就跨过了「能不能用」的青涩期。

5、选秀探花先回西班牙夺冠再赴美，19岁法姆：适应WNBA其实很容易

如果让这股惯性再拖三年半，一代人慢慢丢掉独立思考的训练场，等回过神来才发现：已经不太会自己想事情了。

6、酿酒人0.93 WHIP的亨德森出战决胜局 大都会派2.87 ERA斯科特应对

省下来的每一步冗余，都变成实打实的能效。

这是一支跨学科的复合型、国际化、多元化团队：有人师从计算认知记忆奠基人，为AI注入人类记忆的理论灵魂；有人深耕世界模型与推理优化，把长序列记忆从算力黑洞变成可落地的工程现实；有人曾主导微软小冰核心算法开发、ToDesk、QwenC多模态推理Agent等千万级用户产品，把前沿论文变成真实世界的生产力。

便宜的模型token是便宜，但可能要试更多次、耗更多时间、让人多审几遍；贵的模型一次过。

7、状元签门多萨签4年5727万全额保障新秀合同

在此框架下，本体的构建须面向大语言模型的调用接口进行优化——其类定义与关系描述应便于模型理解与使用，结构化知识应便于模型检索与引用，约束规则应便于模型进行输出验证。

但Uber们的账单同时也在宣告，光会用，远远不够。

8、蒙哥马利5.5分！国安全队打分：塞鸟+孔特高分，四将不及格

GPT-5.6 Sol Ultra的强大之处，在于它扩大了并行的TTC。

四个字，宣告了这场48小时狂欢的终结。

它们标志着全球顶级科技企业的讨论重点，正在从「模型能力有多强」，转向「企业如何避免失去自己的认知主权」。

当时监管审批尚未通过。