效率变化是可量化的。

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

Sonnet 4.6，是那个哄人的。开云线上模型主权解决的是推理资源控制权。

2、谢贤离世最大爆点，财产仅分张柏芝两个孩子，第三子身份再次被扒

不要只给我一个局部结果，只有当找到完全肯定的证明并通过审核时，才能停止。

3、余文乐发文宣布离婚：感谢你作为妈妈作为妻子付出的所有

而就在发布的同一天，谷歌还顺手扔下了一枚更大的雷—— 谷歌DeepMind「史上最激进的一次预训练已经开始」，目标是下一代模型Gemini 4。

4、这5个“夏季产物”，堪称智商税，被淘汰是早晚的事情，别跟风买

参考资料： https://x.com/Mr_Salio/status/207736089707741624811 https://x.com/emollick/status/2077849021150888408 https://www.bloomberg.com/news/articles/2026-07-16/google-gemini-launch-delayed-as-tech-falls-short-of-internal-goals 编辑： Aeneas新智元报道 全球迄今为止最大的开源AI模型，正式上线！ 昨夜，月之暗面（Moonshot AI）放出了其最新旗舰模型Kimi K3，目标直指超越Claude/ChatGPT。

5、雅创电子(301099.SZ)：拟与专业投资机构共同投资合伙企业

阿里内部研发中使用Qoder Security后发现，代码评审中与安全相关的评审意见下降约35%到45%，效果显著。

备案是合规入场券，但苹果拿到这张券之前，国行用户已经有过一次短暂的体验。

PolicyTrim引入step-saving reward：成功轨迹用越少步骤完成任务，奖励越高。

6、降价800万！浓眉成交了！

Tibo在X上发了一条更新，开头一句就说：没有nerf（降智），只有好事。

面壁的一个真机demo case演示令人印象深刻：一只宇树Go2机器狗紧紧跟随一名指定人员。

7、鹤壁市山城区：“科技贷”精准滴灌 为科创企业注入金融活水

模型可以升级，也可以替换。

英国国家网络安全中心已经呼吁各机构加固网络安全基线，并利用 AI 增强防御能力。

8、伦敦全面推广AI人脸识别：两年抓获2500名嫌犯

参考资料： https://x.com/sama/status/2077817060068057493?s=20 https://x.com/JeremyNguyenPhD/status/2077719990116258162 编辑：元宇 Aeneas新智元报道 最近，一篇长文震撼整个AI圈。

在多项编程和Agent测试上，这个轻量小模型居然跑赢了体量更大的Gemini 3 Flash—— SWE-Bench Pro：54.2% vs 49.6% OSWorld-Verified：74.0% vs 65.1% 3.6 Flash作「主脑」拆解任务，Flash-Lite作「分身」批量干活。

所有人都在兴奋地倒计时，摩拳擦掌，准备见证历史。

9、广州海珠区副区长陈宇：以人工智能引领全域发展的城市核心

能在光刻机里稳定运转的电机，用在其他任何工业场景，都是纯粹的技术碾压。

哪个应用走哪个模型，全凭当初谁接的谁。

10、[视频]我国造船业三大指标保持全球领先

第二步，交互：在文档右边的对话框里，人和AI充分对话、反复修改。

具体来说，KAT-Coder-Pro V2.5在三个关键维度实现全面突破： 长程工程能力、通用Agentic能力，以及支撑这一切的大规模Agentic强化学习体系。

1、10个值得买的日常好物，真的太需要被看见了！

这也是所有AI coding agent用户最深的恐惧：它能干多少活，就能带走多少东西。

2、安徽16岁考生提前批上岸：华中师大公费师范生，物理类664分

大晓这次拿出的，是「晓满」一体化履约方案，和专为这个场景造的履约机器人W1。

3、30亿美金！酋长队新主场方案，打造全球顶尖派对场地

后续新奥聚变将为本赛道优秀成果提供该平台的上机实测机会。当技术挑战伦理，治理如何跟上？（求解时代之问③）」 智元则选择了更重的全栈路线，足式，双足或者轮式或者灵巧手都做。

4、专访孙以泽院士：碳纤维复合材料将走进千家万户

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

5、他公开吐槽星爷新片，被全网围攻，却死也不道歉，凭什么？

能用，但客户不买单。

6、北京妈妈晒出130㎡一楼带院新家，因太高级而走红，这才是生活该有的样子！

原因之一，可能是数据量的不平等。

当机器人在踏入陌生厨房的那一秒，学会通过「看」来修正自己的动作时，那个曾遥不可及的通用机器人时刻，才真正具备了大规模商业落地的可行性。

在接到需求之后，U1 Pro会先想版式、打草图，然后还会回头审一遍对不对味，再一块块填细节，最后统一调色、精修。

7、最新

而这些动作，大半都发生在7月这半个月里。

真实的软件工程，九成的功夫都花在这些「万一」上。

8、25座国宝雕塑亮相太阳岛｜大熊猫馆再添萌趣打卡点

他们将IMO 2026的全部6道考题，逐字逐句翻译成了机器能够理解的Lean 4形式化题面。

可有一个痛点，你一定记得：想翻回三个月前那次对话，基本得靠运气。

「出海客户的用量高峰在晚上10点到早上8点。

智能体会陷入一种「看似有进展、实则原地打转」的死循环：反复去改同一个文件，却始终跑不出一个新的通过测试。