但成绩归成绩，我们认为更有意思的，是成绩底下那颗S1-Omni。

1、leyuapp 生产力工具没有换来更多休息。

COSA 相关三层系统 S2 是认知层，频率约 1 Hz。leyuapp」 结果就是，指令频繁变动，多个部门重复造轮子，难以形成合力。

2、上海警方严厉打击违法代拍演唱会门票加价倒卖等行为

任何新的Agent、模型、机器人，只要接入HMS，就能立刻继承过去的知识和行为规律，而不必从头再学。

3、没想到！中国女排1-3不敌多美尼加，遭遇分站赛第二败

新护栏抓到的问题明显多了，漏掉的那几个也都够不上严重—— 比如模型没头没脑地SSH进了同事的算力节点，比如它敲出了一条会杀光自己名下所有进程的命令。

4、中国男篮主帅郭士强世预赛再度出现争议行为，难道不懂规则吗？

毕竟谁也不想等海报贴满了大街，才猛然发现角落里还躺着一个错字。

5、日媒曝日本自卫队涉嫌侵犯民众隐私

6月19日，挪威首相斯托雷宣布对1到7年级学生近乎禁用生成式AI，上课期间不许碰，新学年8月下旬生效。

这是一张彻头彻尾的空头支票，五角大楼想怎么用Gemini，谷歌根本无权干涉。

Boris的秘诀，藏在一个词背后：循环（Loop）。

6、严重可致命！警惕：服用奥美拉唑最怕犯这4个错误，早知早获益

这就是最让人毛骨悚然的区别：去年AI还是帮凶，今年AI直接当了主犯。

不得不说，AI会做题，和AI能救场，中间隔着一整个真实项目。

7、比亚迪插混中大型MPV上市！不足19万起外观豪华，综合续航1105km

只是从今天起你知道，那句夸里，有多少是冲着你，有多少只是冲着你说的那种语言。

敢押佛得角的底气，藏在基座里 看到这你可能要问了，既能押中黑马，又能完成巨幅战报图，靠得是什么能力？ 答案就藏在它背后的商汤日日新SenseNova大模型体系和集成其能力的的Skills。

8、南瓜不能随便吃？医生提醒：这几类人群，尽量少吃，很多人还不懂

如果还需要多人编辑、上传、加功能，直接告诉灵犀「你把这个东西部署下去」就行。

供应商可以改变。

怎么把电造得又多又便宜？清程极智的秘诀，就在于底层的深度自研。

9、维尼修斯容貌大变引发热议！休赛期秘密接受面部轮廓医美，球迷惊呼宛若换脸

Zero anything whatsoever will remain——一个字节不留。

从Tool到Agent，从Token到Task，从Programmer到OPC。

10、卡特琳·莫里斯：幽默让人轻盈前行

这次 COSA 0.5 的发布抛出一个行业反共识：模型只是技能，系统才是大脑。

但方向很清晰——未来每个打工人，都应该有一个真正懂自己的AI助理。

1、中签结果公布了！无锡没中的人都在期待……

别人拼弹药，它拼枪法。

2、公认90s最美女星之一，57岁的她却说一点都不怀念完美的自己

顶层锁定真实测试结果，堵死篡改测试的刷分路子；中层规范工具调用、清理临时文件等工程习惯；底层给「定位准、部分测试过」这类有价值的失败也发正反馈，护住模型的探索欲。

3、当年遍地“张伟王芳”，如今娃名咋比小说还玄乎？看完你就懂！

参考资料： https://safe.ai/blog/significant-increase-in-digital-labor-automation https://x.com/free_ai_guides/status/2073050543027638443 https://youtu.be/SlGRN8jh2RI https://x.com/bcherny/status/2007179861115511237 编辑：元宇新智元报道 直出8K长卷，中国AI还是首次！ 就在今天，WAIC大会上，商汤正式发布下一代「满血旗舰」——日日新SenseNova-U1 Pro。好药！治疗糖尿病并发症，有效率超过90%，护肾护心，改善性功能比如，碰到棘手的集群运维难题，专门的智算集群运维智能体系统就会接手。

4、甲状腺结节不可怕，长在危险的位置才可怕

所以，这不是AI推翻了顶刊，而是发现了一条人类本来可以不绕的弯路。

5、穿对连衣裙，好看到犯规！

同一天，由上海人工智能协会、河套学院、中国信通院华东分院牵头、20余家机构共建的具身物理智能统一评测平台Physical IQ物智，也在同场亮相。

6、4红！青岛红狮3-2山西，赛季首胜；B队交锋！泰山0-2英博遭3连败

配合优化后的训练策略与数据配比，这些结构改进使得整体扩展效率相比 Kimi K2 提升约 2.5 倍，让模型能更高效地将算力转化为智能。

更关键的是，越到后面，连开Loop这一步都不太用Boris开口了。

坦率vs执行：先告诉你「我不确定」，还是先把活漂亮地干完。

7、FMVP乔治白菜价被交易，凯尔特人操作令人费解

金山办公章庆元在发布会上说了一句特别到位的判断——如果你用的是Claude，能记住你使用习惯的是Claude这个软件，不是大模型本身。

这条公式把前面全串了起来—— 数采方案2.0解决CID从哪来，Kairos 3.1解决CSS怎么算准，而W1在窄巷道里的每一次抓取，都是把J压到更低的最终兑现。

8、省卫生健康委派驻医疗专家组 全力保障牡丹江防汛医疗工作

姚期智院士在2025全球开发者先锋大会暨国际具身智能技能大赛的致辞 大赛专家指导委员会主席由姚期智院士挂帅（图灵奖得主、中国科学院院士），首创「人工智能专家+具身智能专家+人类技能大师」三元评审体系，为GDPS赛事评审标准与技术方向把舵定调。

每步操作，如果gcd(m,n) = d > 1，新的两个数的乘积是mn/d，比原来小，全局乘积P严格变小。

Grok 4.5在P6上只挤出7053个token，全场垫底。

一家模型厂商可以做绑定自家产品的浅层记忆，却做不出跨厂商的通用层，因为通用层的价值恰恰在于中立，而没有谁愿意把自己的记忆托付在竞争对手的地基上。