S1 是技能层，频率约 50 Hz，S2 决定「做什么」，S1 提供「用什么技能做」。

1、bob电子 褚染洲最后说，以前讲智慧城市，讲的总是一些冷冰冰的机器和网络，没有生命，没有生命的力量。

Qoder Security会跨文件、跨函数追踪完整数据流，从污点源到危险汇聚点，挖出单文件视角永远看不到的隐藏关联漏洞。bob电子到了(b)部分，三个模型殊途同归：都证明了对每个素数p，黑板上所有数被p整除次数的最大公约数在操作中不变。

2、AI Coding成功率88%，科研仅3%？「科研是下一个Coding」，还差关键一环

AI这边，从只会写文案的GPT-3.5，进化到能反证数学家几十年啃不动的猜想。

3、中流砥柱！火箭悍将成球队少有正常发挥之人 场均21+9+5太完美

而引入世界模型之后，大量的试错可以在模型内部的「想象」里完成，真机数据需求量因此被极大压缩，任务准确度反而上得更快。

4、生育大局已定？7月起，中国人口将迎3大变数，性别比失衡只是其一

数仓层面广告数据实时回流，模型层面每天更新。

5、鹅腿阿姨之谜:为何鸭腿那么便宜？

金山办公说能保留287种Office格式元素——图文混排、复杂表格、多级列表都不会走形。

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

届时，前沿模型必须通过评估，方可在美国市场部署。

6、1-0绝杀续命！格子军团绝境翻盘改写战局，L组末轮生死大乱斗

模型于是写出两份东西：一份把A的理由推到极致，一份把B的理由推到极致，他再自己做那个判断。

阿里千问将作为 AI 能力集成至 Apple 智能，为 iOS、iPadOS、macOS 和 visionOS 的中国用户提供文本与图像理解、内容生成等能力。

7、ST宁科：实际控制人及一致行动人拟增持3000万元至6000万元股份

特纳将最大的希望寄托在了Jeff Dean身上。

测试结果却是一记响亮的耳光：在相同的环境扰动下，使用了ICL的基线模型WAM-ICL，成功率从标准环境的48.4%直接崩塌至7.1%，泛化保持率只剩14.7%。

8、清华AIR联合水木分子发布CodeFP：离散扩散与双模态协同生成

SafeClawArena共406道题，分布在四个维度、24个子类中。

模型由此不仅学习如何走对，也系统学习三个问题： 什么时候已经偏航、应该向哪一侧修正，以及如何重新回到正确路线。

」 体系更闭环 大赛首设并启动OPC创业孵化营 为推动世界科学智能大赛汇聚的人才与成果持续成长，上智院、祖泉研究院、上海未来产业基金、上海未来启点社区联合发起「世界科学智能大赛OPC创业孵化营」。

9、报道：若通胀前景未改善，欧央行官员准备9月加息

Physical Intelligence更倾向于先使用简单、稳定、维护成本较低的机器人本体，快速建立数据与模型研发基础设施。

联合创始人王尊玄介绍了他们如何让物理AI以软件的速度进化。

10、长发党清洁救星，这个魔术扫把太好用了！

比如，「改进这段代码」是个坏目标，因为没法验证；「/tests/下所有测试通过，只许改/src里的文件，修3次还不过就停下来汇报」是个好目标，因为每一条都能核对。

在联合国演讲的结尾，谢旭璋说了一句话：「过去，视频是一个结果；未来，视频是一个入口。

1、壮观！澳大利亚矿场引入46辆肯沃斯“公路列车”：每列4辆挂车、28根车轴、110条轮胎

大语言模型凭借其从海量文本中提取语义模式和知识关联的能力，正在从根本上重塑本体工程的实践形态。

2、杜锋离任即将官宣？陈老板做出决定，新主帅人选确定，李春江可惜了

Token「前店后厂」：从「发电」到「用电」的全链路革命 清程极智是目前行业首家完整落地「全链路」的厂商。

3、“碰瓷”团伙引诱他人无证驾驶，致事故后“私了”？上海警方：因涉嫌敲诈勒索罪3人被抓，已采取刑事强制措施

过去，AI也能生成仪表盘，但那份数据几乎都来自你当时的会话，一分享出去，页面很快凝固成一张静态截图，别人打开只能看，动不了。中国男篮对决中国台北，郭士强派两大奇兵，弃用两个嫡系，要稳赢多框架反复实战，图的就是「换个框架不水土不服」。

4、自制X光机：爆了3个真空管，他最终用旧电视零件拍出了内部照片

AI时代，这笔交易要重新谈了。

5、《加勒比传奇》8月7日更新 现行史低更新后提价

」 结果就是，指令频繁变动，多个部门重复造轮子，难以形成合力。

6、龙凤胎弟弟不小心弄醒熟睡的姐姐，秒躺装睡一气呵成

协助欺诈。

但开头还埋着第二副面孔：对外的传递。

硅基智能的破晓 回到这起事件的余波中。

7、贷款利率新锚DR亮相！工行、招行、浦发吃螃蟹 每日定价有多香

十年后用一句话介绍钛动，他希望会是：钛动之于商业增长，恰似苹果之于手机。

明天，如果投入64万个智能体，花上1个月的时间，或许就能攻克常温超导、可控核聚变，能攻克癌症。

8、杨毅谈男篮12人：锋线冲击力能不能提升 别忘了过去在亚洲靠是什么

结果：审计这个代码库，把高危安全漏洞统统揪出来。

一个人，两帧起始图，一套prompt，拍出了连贯的电影级对话戏。

就在几天前，强化学习之父Sutton官宣创业；几个月前，他的学生、AlphaGo之父Silver做了同样的事。

4 到 7 个月：怎么测的，差在哪 AISI 用两套体系评估模型的网络攻击能力。