还发起了「世界模型云生态共建」，把百度智能云、阿里云、华为云、腾讯云、华山云及商汤大装置这些算力方拉到了一起。

1、BOB足球 而这些动作，大半都发生在7月这半个月里。

那些提交到erdosproblems.com的新证明，凡是我细看过的，全部正确，而且都包含一些有趣的想法。BOB足球正是这些不起眼的地基活，才撑起了后面平稳的训练。

2、洪涝灾害后如何保护健康（名医讲堂）

总结与展望 研究人员提出BadDLM，首个面向扩散语言模型的统一后门框架。

3、从“拼补贴”到“拼信任”！外卖行业已加速换挡

AI虽好，但终归是工具，合规留痕、组织卡控，依然少不了CI和人工审查。

4、读王学典悼念奇文:太刺眼，太傲慢，太脱离现实，活该他翻车！

可控，也不代表可交付。

5、西安赛格严鹏家属现状曝光：儿子处理后事，妻子悲痛欲绝还在住院

有意思的是，被点名的Anthropic几乎在同一时间做了另一件事：把Fable 5的付费访问再延一次，Claude Code周额度上调50%，都续到7月19日。

在第一轮，必须探索截然不同的路径——从代数视角、结构归纳法、流场表述、嵌入法到极端参数法。

官方还支了一招：让Claude在每个实时区块里写一句提示，告诉对方这块缺哪个连接器、去哪儿连上，省得他只看到一片空白，一头雾水。

6、2026拉萨尔毕业生作品展

CPU不再是「打杂的」，而是任务调度与执行的中枢。

做加法，比一上来堆满再删容易。

7、谢谢互联网！这波好物真的值，按头安利~

这一击，直接把整个美国AI高价收费的商业模式，按在地上摩擦。

拥有ΔR，企业才能知道： 哪一个 Skill 真正有效； 哪一个决策规则应该调整； 哪一种客户画像更准确； 哪一种行动在什么场景下创造了价值； 哪一个智能体值得被推广； 哪一个认知资产正在失效。

8、投诉删评超200条！黑森州企业沉默应对，律师质疑透明化

分析发现，两张图都带着ChatGPT的SynthID隐形水印——彻头彻尾的AI生成。

Gemini 4开跑 史上最激进预训练 虽然Gemini 3.5 Pro还没到手，Gemini 4也开始训了。

一个把通用人工智能（AGI）挂在嘴边的人，居然在为课堂焦虑。

9、这6个人，让省市“一把手们”坐不住了

而放眼全球，具身智能行业的头部玩家们，早已敏锐捕捉到风向的转变。

它具备三大核心优势：极致性能与能效、端边云全域协同、原生安全与可信。

10、中年妇女四大悲事。

几天前，一个从没露过面的代号「Claude Honeycomb」，在Cursor的模型列表里一闪而过，几个小时后被悄悄撤下。

1991年，《数学年刊》（Annals of Mathematics）上登出过一篇44页的论文。

1、格林基金贾志：80万粉丝大V，业绩不忍直视……

诚邀专业赞助技术伙伴深度共建，共同夯实大赛的硬科技底座。

2、女排五冠功勋教练九十岁精神矍铄，从北京返重庆定居

真实场景 才是灵巧手产业化的检验 灵巧手产业化的评价标准，正在由「能否完成一次动作」转向「能否持续完成完整任务」。

3、天路长歌

Vision-Language-Action（VLA）模型把视觉观测、语言指令和机器人动作统一到一个策略模型中，使机器人能够根据自然语言完成复杂操作任务。阿根廷申请获准！战英格兰将穿深蓝色球衣，此前2次淘汰赛均胜出比如每30分钟查一遍错误日志，把严重级别的挑出来用大白话汇报；或者每小时扫一遍收件箱，摘要新邮件、把该回的草稿先拟好。

4、歼35服役还不到一年，产量就达到了30架？美俄一比较，真是差远了

逐际动力是最早提出并布局人形大脑系统的具身智能公司；后来者的趋同，从侧面印证了这条路线的前瞻性和引领性。

5、打懵法国！1.2亿欧巨星逆天一条龙：抢断后奔袭20米 轰20米世界波

Light Interaction不改模型参数、不重新训练，只在推理阶段把相机轨迹变成调度信号，动态选择历史上下文、在回访状态复用去噪输出，并用面向自回归生成的3D稀疏注意力降低计算。

6、哈维尔、托尔加汉加入北京国安足球俱乐部

不过，也有人从这波狂飙里嗅出了别的味道。

大模型厂商在秀参数，算力厂商在秀集群规模。

他说这些题在网站上标着open，只意味着他本人不知道有哪篇论文解决过它。

7、详解2001年湖人队总决赛阵容：一名敢殴打裁判的大神藏匿其中

原因就在于，这些场景背后是同一件事：解决长程任务，跑通智能体的Loop（闭环）。

接着，工作人员走上典型的无网环境电梯——这几乎相当于直接拔掉了机器狗身上的网卡，没有Wi-Fi。

8、民生人寿分红收益“失速”，代理人涉刑敲响合规警钟

而WAM-TTT则不同，它可以随时适应一个新场景：只要有人戴上远动相机、或举起手机，随手拍一段自己干活的第一视角视频，机器人看完，就能直接上岗！ 不用遥操设备，不用动作标注，也不用停工数天重训。

二者相对其他玩家有接近代际差的领先。

Anthropic教育负责人Drew Bent举了个例子：让它讲「怎么构造线性函数」，它会先把对应的课标拽出来，标好学生在这一块最容易犯的那些错，再围着这些错去搭这节课。

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