上下文抽象层：给机器人装上60秒的记忆 传统模型「走一步忘一步」的短时窘境，正是长程作业的头号杀手。

1、英亚体育 李述昊用一句话概括升级的核心： 原来要登录一堆 SaaS 后台，再开个智能体工具聊天问问。

通用Agentic，从「会调工具」到「能扛业务」 写代码只是Agentic能力的一半。英亚体育尤其像开头那张铺满整面墙的长卷，分辨率不够，凑近一看全糊了。

2、徐州籍“外卖诗人”王计兵摘得鲁迅文学奖

中国具身智能，站起来了 长期以来，在全球人形机器人和具身智能的竞技场上，尤其是对标Optimus时，国内舆论场中一直弥漫着一种论调：「中国企业底盘控制做得好、电机强，但只是『本体强』，我们在最核心的AI模型泛化能力上，『大脑弱』。

3、东航“空巴联运”落地黄石，凭机票免费往返天河机场

量变的数字更惊人。

4、詹姆斯回应哈利伯顿试图打探自由球员去向：刚才在后台才聊过这个

第三点，为了搞清楚多出来的用量到底从哪儿来，团队跑了一些实验，实验里改动了推理强度（reasoning effort），内部管它叫「juice values」。

5、AI投资潮正在重塑杭州经济

对数学家来说，这比「AI又解出一道题」刺激得多。

论文点名了四项目前普遍缺席的关键防御——技能签名、内存完整性、凭证保险箱、动作授权，把它们补齐，大概是这个方向下一步最值得投入的事。

即便假设防御者已知具体目标（比现实更强的假设），少量epoch的BEEAR训练也难以有效降低ASR；只有过量训练（如15 epoch）才能适度压低ASR，但同时会严重损害模型效用（MMLU从约65跌至55–58）。

6、今天，城区民办普通高中、综合高中班“征集志愿”填报

这样的进化能力更类似于人类成长的节奏，在一个人中学阶段学习的是一元二次方程，大学阶段掌握的则是微积分。

在分析层面，它提供了一套完备的概念框架来描述模型所处理信息的结构化形态——我们可以追问一个陈述中是否隐含了「实体与偶性」的归属、「因果性」的判断或「模态」的承诺，从而系统描述模型构建了何种知识结构，而非笼统地说「模型似乎理解了因果关系」。

7、比甲亢更隐蔽的「女性健康杀手」，每6人中就可能有1人中招？

触觉款配备 5 个指尖三维触觉传感器，可为接触状态感知和抓取控制提供信息支持。

一个在后台空转刷榜的Token，和一个跑通了工业质检、写出了产品代码、追踪了一次病情的Token，账面一样，价值却天差地别。

8、中国证监会原副主席方星海接受审查调查

企业与大模型之间的超级立交 就在这届WAIC上，科大讯飞星火企业军团给出了自己的答案——「星火Token Factory」。

相比传统方案，Qoder Security的漏洞检出率提升了约60%。

但真实业务是另一个量级，举个栗子： 读一周多平台热搜、筛出短视频行业条目、按平台取热度前五、再产出一份带章节和字数限制、按日期倒序、且不许编造数据的简报。

9、亚马尔与哈兰德2.2亿欧元身价是怎么来的？

可用进废退，那块负责独立思考的脑力，就会跟久不用的手臂一样，悄悄回缩和变弱，用奥特曼的话说是——肌肉萎缩（atrophy）。

汽车的普及离不开高速公路，电商的爆发离不开移动支付。

10、山海共赴 盘锦超酷

第三层，L3深度扫描，也即跨文件深度审查。

https://www.hbs.edu/ris/Publication%20Files/25-039_05fbec84-1f23-459b-8410-e3cd7ab6c88a.pdf 但「Record a Skill」推动的方向很明确：工作的护城河，从「会做」迁移到了「会做别人做不了的事」。

1、共生共享共创 数字丝路再启新程

录屏讲解的门槛比写文档低一个量级，产出的 Skill 人能读，AI 也能直接跑。

2、马栅村血案二审结果出炉，凶手一直想以自首逃避死刑

此后的四十年里，他在1961、1964、1982、1990、1997年反复重提。

3、她突然去世，震动香港娱乐圈

可当所有智能都跑在云端的数据中心里，AI基础设施就真的到头了吗？ 无问芯穹的答案是没有。毛利率指引暴增近一倍 超微电脑Q4斩获逾600亿美元新订单最近，Anthropic首次公开了CC大规模代码迁移「全流程」，六步框架让全网震撼。

4、奥利塞要加盟皇马，银河战舰会成啥样？想想都激动！

这直接打乱了Anthropic的阵脚。

5、伊朗说打击驻科威特美军目标回应美方袭击

你把家门钥匙交给它，是让它帮你干活——不是让它把整个家打包带走。

6、不添堵！30岁庆生+新主场首胜！长春亚泰2-1大连鲲城，谭龙建功

这些东西很难写成操作手册，但能被一段录屏完整保留。

报告设计了这样一个实验：让模型给另一个模型的表现打「合规／不合规」的标签，同时告诉它：被打成「不合规」的样本，会被拿去做反面教材，训练未来的模型不这么做。

正因如此，它成了理论统计学界的一块试金石。

7、强对流来了！孝感局地暴雨+8级大风

回头看今年4月，GPT-5.4 Pro在80分钟里解掉了Erdős 1196，用的是von Mangoldt函数。

你以为它只是加了个搜索框，其实它在给自己装一套操作系统该有的骨架：能存、能管、能搜。

8、皇马颜面尽失，欧冠决赛场外闹剧上演，大巴巡游暗讽穆里尼奥战术

所有人都在期待7月17日这个传说中的发布日期。

他在YouTube上发布了数十分钟的视频，标题是：《我是如何伪造出全球最强AI模型的》。

这让一个普渡大学的博士毕业生，在学术界寸步难行。

毕竟，在动辄百万Token几十美元的巨头面前，哪怕是装上了「峰谷计价器」， V4也是那个大杀四方的「价格屠夫」。