作者团队关注视频生成模型推理优化、视频世界模型、软硬件协同加速等方向，涉及KV缓存管理、稀疏注意力、GPU算子优化等系统问题。

1、bob登陆入口 商汤已经签约国星宇航，计划今年四季度发射4颗「商汤号」系列算力卫星，完成首发并组网；2028年目标建成星地混合云商用骨干网；到2030年建成千颗级天地一体化AI算力星座。

而创意验证被前置，让创作者可以迅速把概念抛向市场，听到核心用户的反馈。bob登陆入口qrdl的论证倒不情绪化。

2、《成都声明》在APEC数字和人工智能部长会议达成

对NavBrain而言，这建立了从长程方向理解到局部行动执行之间更清晰、更稳定的决策链路。

3、欢迎莱斯特·奎因奥内斯加入青岛国信海天篮球俱乐部

90分钟，ChatGPT 5.6彻底跨越了「机械计算」 让我们把目光拉回那决定性的90分钟。

4、辟谣！山西女篮官方公告：并未与李月汝签约 网上消息均不属实

参考资料： 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圈忽然被这个消息刷屏了。

5、CBA3消息：上海队想要焦泊乔，麦考尔离开广东队，首钢交易范子铭

参考资料： https://www.aisi.gov.uk/blog/how-far-behind-the-frontier-are-leading-open-weight-models-on-cyber https://github.com/mas-bandwidth/patreon/blob/main/BUGS.md https://www.patreon.com/MasBandwidth/posts/important-news-164199395 编辑：马可新智元报道 【新智元导读】VLA模型已经会做任务，但真实机器人还是慢！PolicyTrim是一种优化VLA机器人执行效率的方法，无需重新训练。

从实验结果看，这一设计补齐了长程导航中「错误经验缺失」的问题。

」 如此看来，现在行业所感受到的「模型差、数据荒」，可能问题压根不在脑子上，而是身体的物理极限卡住了天花板。

6、一边“去中国化”，一边购买中国技术，美国汽车供应链呈现新矛盾

2022年以来，连续4年拿下6金。

更有意思的是灵犀的「定期做梦」机制（内测阶段）。

7、江湖不是打打杀杀，小库里：角色球员想留在NBA得让球星喜欢你

网友们兴奋地疯狂转发，所有人都在问同一个问题：「中国AI已经强到这个地步了吗？」 然而，狂欢仅仅持续了几个小时，一场反转让所有围观者惊掉了下巴。

架构方面，DM0.5延续VLA架构，以4B参数的多模态主干为核心，外加一个680M的动作专家（Action Expert）负责生成连续机器人动作。

8、刚拿到菲尔兹奖，他现场宣布加入OpenAI

在另一个任务里，GPT-6发现别的系统有一些成功但未公开的答案，就动了心思—— 想从评测后台，把这些答案「捞」出来。

第一问，Wagner在1980年拿下。

四十分钟，四个议题：范式拐点、评测标准、多路线收敛，以及从Demo 到Deployment。

9、亚运会足球抽签出炉！中国男女队均列第一档

有人担心学生数据隐私，有人担心教育被过度自动化，还有人翻旧账：硅谷高管自己的孩子，上的却是不带科技产品的学校。

」 他给创业公司的建议是：不要做容易被大模型「吞噬」的增量式创新。

10、“小而美”李未可，正用“记忆”重写AI眼镜游戏规则

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

Bloom还特意强调，这不是因为AI动用了什么更复杂的武器，而是我们原本以为，这道题比它实际上难得多。

1、世界杯：阿根廷和英格兰球迷发生斗殴

合并之前，Bun现有的全部测试用例，在CI里100%通过。

2、有惊无险！女排25-22美洲鱼腩 龚翔宇和唐欣低迷，庄宇珊扛住

比如，碰到棘手的集群运维难题，专门的智算集群运维智能体系统就会接手。

3、4000万“对赌”AI机场：汉中收获新增上市公司？

然而，正因其影响深远，更有必要审慎检视这一进路的内在局限。姚顺雨，完成腾讯混元组织大一统对p=3，v₃(12) = 1，v₃(18) = 2，gcd = 1，贡献3¹。

4、1.16亿镑新援放话：曼城才是曼彻斯特之王，他曾是曼联今夏目标

加州大学伯克利分校分析50多万条成绩：ChatGPT发布后，写作、编程类课程拿A、A-的比例明显抬升（蓝色显著为正），B+及以下几乎纹丝不动。

5、24岁NBA天才，拒绝3000万肥约，场均24分被裁，如今底薪都拿不到

OpenAI也拿整个公司做了实验：如今内部几乎100%的团队，从财务到销售，都在用ChatGPT Work和Codex干活。

6、Love！Love！Love！APEC嘉宾薛珍纳：成都正成为未来产业重要枢纽

丰田在海外甚至还没有做太多激进的纯电布局——燃油车利润基本盘依然稳固。

企业必须拥有一个描述业务对象、关系、状态和行动的语义层。

在此领域，这是一种「相当非典型」的组合技。

7、曾加：恭喜乌奈-西蒙打破我的世界杯不失球时长纪录，这十分不易

两大瓶颈限制了 AI 科学研究的落地上限，让多年来的 AI4S 技术探索，更多停留在浅层效率提升阶段，难以实现科研范式的颠覆性突破。

这让人想起几个月前，Anthropic CEO达里奥的「凡尔赛」。

8、硬氪首发

而这条链路的收口，是「坚持生态开放」。

而这四类案例，则是把战线推进到了「行动」：一个握着代码权、财务权、评估权的智能体，会不会偷改代码、帮着删账、背着你搞事。

今早，奥特曼又一次官宣：ChatGPT Work和Codex用户量破800万，一天狂飙100万。

它的核心意义在于，在例如数采工厂里，机器人学会一项技能后，可以以极低的数据要求、极低的金钱和时间成本，完成对新场景的适应和部署。